Make default name in generateKeys.sh configurable

[gigi.git] / build.xml

diff --git a/build.xml b/build.xml
index 057c6881623ea77dfa40d9b2aaee337e07c1066c..35973fb1d5969657bae7d695849ba9c3b40318ca 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -75,10 +75,7 @@
        </target>
 
        <target name="native">
-               <exec executable="make" dir="natives">
-                       <arg value="clean" />
-                       <arg value="all" />
-               </exec>
+               <exec executable="make" dir="natives"/>
        </target>
 
        <target depends="build" name="pack">