diff --git a/grid5000.sh b/grid5000.sh index d276e120..aa563db2 100644 --- a/grid5000.sh +++ b/grid5000.sh @@ -4,7 +4,7 @@ git pull mvn clean package n=$RANDOM -sleep $(( r %= 300 )) +sleep $(( n %= 300 )) rm -rf repo/diversify-exp java -jar target/Diversify-statements-1.0-SNAPSHOT-jar-with-dependencies.jar git repo