update grid5000.sh

DIVERSIFY-project · Dec 17, 2013 · 9b16144 · 9b16144
1 parent a459f6c
commit 9b16144
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/grid5000.sh b/grid5000.sh
@@ -3,8 +3,8 @@ cd /root/diversify-statements
 git pull
 mvn clean package
 
-n=$RANDOM
-sleep $(( n %= 300 ))
+
+sleep $((RANDOM%300))
 
 rm -rf repo/diversify-exp
 java -jar target/Diversify-statements-1.0-SNAPSHOT-jar-with-dependencies.jar git repo