From 5cdadcebd3ace12964ba3c19d8f1fdcdcdc7b25d Mon Sep 17 00:00:00 2001
From: Jingguo Yao <yaojingguo@gmail.com>
Date: Tue, 13 Dec 2011 23:29:47 +0800
Subject: [PATCH] Add user execution permission

Run 'chmod u+x' over get_build_revision.sh in case that this script does
not have user execution permission.
---
 build.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 02ba8d9c..40399fcd 100644
--- a/build.xml
+++ b/build.xml
@@ -183,7 +183,9 @@
     <tstamp>
       <format property="build_time" pattern="MM/dd/yyyy hh:mm aa" timezone="GMT"/>
     </tstamp>
-    <exec executable="${src.dir}/get_build_revision.sh" outputproperty="build_revision" />
+    <property name="build.version.script" value="${src.dir}/get_build_revision.sh"/>
+    <exec executable="chmod"><arg line="u+x ${build.version.script}"/></exec>
+    <exec executable="${build.version.script}" outputproperty="build_revision" />
     <exec executable="whoami" outputproperty="build_author"/>
     <exec executable="uname" outputproperty="build_os">
       <arg value="-a"/>