move runFromGit

DIVERSIFY-project · Nov 5, 2013 · 9156c46 · 9156c46
1 parent 9cc6a44
commit 9156c46
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/grid5000.sh b/grid5000.sh
@@ -4,4 +4,4 @@ git pull
 mvn clean package
 java -jar target/Diversify-statements-1.0-SNAPSHOT-jar-with-dependencies.jar git repo
 
-sh script/runFromGit.sh 100 &
+sh runFromGit.sh 100 &
diff --git a/script/runFromGit.sh → runFromGit.sh b/script/runFromGit.sh → runFromGit.sh