diff --git a/grid5000.sh b/grid5000.sh index 09efeeb2..5045d86c 100644 --- 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 b/runFromGit.sh similarity index 100% rename from script/runFromGit.sh rename to runFromGit.sh