update version in script

DIVERSIFY-project · Feb 23, 2015 · 987d45e · 987d45e
1 parent 130c8b2
commit 987d45e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/grid5000.sh b/grid5000.sh
@@ -11,7 +11,7 @@ mvn clean -Dmaven.test.skip=true package
 
 rm -rf repo
 
-java -Djava.library.path=lib -Dhttp.proxyHost=proxy.rennes.grid5000.fr -Dhttps.proxyPort=3128 -Dhttps.proxyHost=proxy.rennes.grid5000.fr -Dhttp.proxyPort=3128 -jar generator/target/generator-1.0-SNAPSHOT-jar-with-dependencies.jar git repo
+java -Djava.library.path=lib -Dhttp.proxyHost=proxy.rennes.grid5000.fr -Dhttps.proxyPort=3128 -Dhttps.proxyHost=proxy.rennes.grid5000.fr -Dhttp.proxyPort=3128 -jar generator/target/generator-1.0.0-SNAPSHOT-jar-with-dependencies.jar git repo
 
 sh script/runFromGit.sh 1000 repo &
 
diff --git a/script/runFromGit.sh b/script/runFromGit.sh
@@ -4,7 +4,7 @@ for i in `seq 1 $1`
 do
     for j in `seq 1 $cpu`
     do
-        java -Djava.library.path=lib -Xmx8000m  -Dhttp.proxyHost=proxy.rennes.grid5000.fr  -Dhttps.proxyPort=3128 -Dhttps.proxyHost=proxy.rennes.grid5000.fr  -Dhttp.proxyPort=3128  -jar generator/target/generator-1.0-SNAPSHOT-jar-with-dependencies.jar $(cat propertiesFile) >  out_$i_$j &
+        java -Djava.library.path=lib -Xmx8000m  -Dhttp.proxyHost=proxy.rennes.grid5000.fr  -Dhttps.proxyPort=3128 -Dhttps.proxyHost=proxy.rennes.grid5000.fr  -Dhttp.proxyPort=3128  -jar generator/target/generator-1.0.0-SNAPSHOT-jar-with-dependencies.jar $(cat propertiesFile) >  out_$i_$j &
     done
     wait
     killall java