diff --git a/grid5000.sh b/grid5000.sh index 8fee4622..b34193ea 100644 --- a/grid5000.sh +++ b/grid5000.sh @@ -3,10 +3,11 @@ cd /root/diversify-statements git pull mvn clean package +rm -rf repo/diversify-exp +sh script/git/init.sh repo +sleep $((RANDOM%500)) -sleep $((RANDOM%300)) -rm -rf repo/diversify-exp java -jar target/Diversify-statements-1.0-SNAPSHOT-jar-with-dependencies.jar git repo sh runFromGit.sh 100 &