update grid5000.sh

DIVERSIFY-project · Sep 10, 2013 · 00004d9 · 00004d9
1 parent ee1cf44
commit 00004d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/grid5000.sh b/grid5000.sh
@@ -2,6 +2,6 @@
 cd /root/diversify-statements
 git pull
 mvn clean package
-java -jar target/Diversify-statements-1.0-SNAPSHOT-jar-with-dependencies.jar git $2
+java -jar target/Diversify-statements-1.0-SNAPSHOT-jar-with-dependencies.jar git repo
 
 sh runFromGit.sh 100 repo &