run-casestudy: Extend passwordless sudo for another 15 minuts

diff --git a/build/run-casestudy b/build/run-casestudy
index b7c080c153e42dc7a1321f188d7a93d653404050..6064638418d8d4a34c904efc851c48aa806548d2 100755 (executable)
--- a/build/run-casestudy
+++ b/build/run-casestudy
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+sudo -v # extend passwordless sudo for another 15 minuts
+
 BUILD=`basename $PWD`
 
 for i in `seq 0 2`; do