add git synchro

DIVERSIFY-project · Sep 6, 2013 · deb0c94 · deb0c94
1 parent bc2a846
commit deb0c94
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/grid5000.sh b/grid5000.sh
@@ -1,4 +1,5 @@
 #!/bin/sh
+cd /root/diversify-statements
 git pull
 mvn clean package
 sh runFromGit.sh 100 repo