diff --git a/grid5000.sh b/grid5000.sh index 3bf58030..1cfad161 100644 --- a/grid5000.sh +++ b/grid5000.sh @@ -2,6 +2,10 @@ cd /root/diversify-statements git pull mvn clean package + +n=$RANDOM +sleep $(( r %= 120 )) + rm -rf repo/diversify-exp java -jar target/Diversify-statements-1.0-SNAPSHOT-jar-with-dependencies.jar git repo