From 711819c426d3c3913639ac65ef576e9c2b749d6c Mon Sep 17 00:00:00 2001 From: Simon Allier Date: Mon, 6 Jul 2015 11:07:35 +0200 Subject: [PATCH] update script --- grid5000.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/grid5000.sh b/grid5000.sh index 22f6de78..60a74e0c 100644 --- a/grid5000.sh +++ b/grid5000.sh @@ -1,4 +1,6 @@ #!/bin/sh cd /root/diversify-statements -git pull \ No newline at end of file +git pull + +sh script/runFromGit.sh \ No newline at end of file