Set execute bit on downloaded scripts

mcoblenz · Jun 24, 2016 · 110b51d · 110b51d
1 parent 556b657
commit 110b51d
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/build.xml b/build.xml
@@ -221,7 +221,8 @@
 
   <target name="reformat"
           description="Reformat Java code">
-    <get src="https://raw.githubusercontent.com/mernst/plume-lib/master/bin/run-google-java-format.py" dest="checker/bin-devel/" usetimestamp="true" quiet="true"/>
+    <get src="https://raw.githubusercontent.com/mernst/plume-lib/master/bin/run-google-java-format.py" dest="checker/bin-devel/" usetimestamp="true" quiet="true" ignoreerrors="true"/>
+    <chmod file="checker/bin-devel/run-google-java-format.py" perm="+x"/>
     <apply executable="python" parallel="true" failonerror="true">
       <arg value="./checker/bin-devel/run-google-java-format.py"/>
       <arg value="--aosp"/>    <!-- 4-space indentation -->
@@ -231,7 +232,8 @@
 
   <target name="check-format"
           description="Check Java code formatting">
-    <get src="https://raw.githubusercontent.com/mernst/plume-lib/master/bin/check-google-java-format.py" dest="checker/bin-devel/" usetimestamp="true" quiet="true"/>
+    <get src="https://raw.githubusercontent.com/mernst/plume-lib/master/bin/check-google-java-format.py" dest="checker/bin-devel/" usetimestamp="true" quiet="true" ignoreerrors="true"/>
+    <chmod file="checker/bin-devel/check-google-java-format.py" perm="+x"/>
     <apply executable="python" parallel="true" failonerror="true">
       <arg value="./checker/bin-devel/check-google-java-format.py"/>
       <fileset refid="formatted.java.files"/>