update grid5000.sh

DIVERSIFY-project · Sep 10, 2013 · 2aa7ad9 · 2aa7ad9
1 parent 8edd224
commit 2aa7ad9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/grid5000.sh b/grid5000.sh
@@ -2,4 +2,7 @@
 cd /root/diversify-statements
 git pull
 mvn clean package
-sh runFromGit.sh 100 repo
+java -jar target/Diversify-statements-1.0-SNAPSHOT-jar-with-dependencies.jar git $2
+
+sh runFromGit.sh 100 &
+sh runFromGit.sh 100 &
diff --git a/runFromGit.sh b/runFromGit.sh
@@ -1,9 +1,7 @@
 #!/bin/sh
 
-java -jar target/Diversify-statements-1.0-SNAPSHOT-jar-with-dependencies.jar git $2
 
 for i in `seq 1 $1`
 do
-    java -Xmx2000m -XX:MaxPermSize=256m -jar target/Diversify-statements-1.0-SNAPSHOT-jar-with-dependencies.jar $(cat propertiesFile) &
     java -Xmx2000m -XX:MaxPermSize=256m -jar target/Diversify-statements-1.0-SNAPSHOT-jar-with-dependencies.jar $(cat propertiesFile)
 done