fix for grid5000

DIVERSIFY-project · Sep 29, 2014 · fac9f82 · fac9f82
1 parent 24ef0fd
commit fac9f82
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/grid5000.sh b/grid5000.sh
@@ -7,11 +7,10 @@ mvn clean install
 
 cd /root/diversify-statements
 git pull
-mvn -Dmaven.test.skip=true clean package
+mvn clean -Dmaven.test.skip=true package
 
+rm -rf repo
 
-rm -rf repo/sosie-exp
-
-java -Djava.library.path=lib -jar target/Sosies-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 target/Sosies-generator-1.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 -Xmx2000m -Dhttp.proxyHost=proxy.rennes.grid5000.fr -Dhttp.proxyPort=3128  -jar target/Sosies-generator-1.0-SNAPSHOT-jar-with-dependencies.jar $(cat propertiesFile) >  out_$i_$j &
+        java -Djava.library.path=lib -Xmx2000m  -Dhttp.proxyHost=proxy.rennes.grid5000.fr  -Dhttps.proxyPort=3128 -Dhttps.proxyHost=proxy.rennes.grid5000.fr  -Dhttp.proxyPort=3128  -jar target/Sosies-generator-1.0-SNAPSHOT-jar-with-dependencies.jar $(cat propertiesFile) >  out_$i_$j &
     done
     wait
     sh script/git/push.sh $2/sosie-exp