Run setup as root

This is needed becouse recorder runs as root and setup attempts to kill it.

diff --git a/build/run-casestudy b/build/run-casestudy
index f392993ef68fee6059ae9094a8d987dbe1cecc1d..b7c080c153e42dc7a1321f188d7a93d653404050 100755 (executable)
--- a/build/run-casestudy
+++ b/build/run-casestudy
@@ -4,7 +4,7 @@ BUILD=`basename $PWD`
 
 for i in `seq 0 2`; do
     echo "######### Running $i pipelines #########"
-    ssh glab "cd frescor/demo/$BUILD; ./setup"
+    ssh glab "cd frescor/demo/$BUILD; sudo ./setup"
     for j in `seq 0 $i`; do
        ./run-pipeline.sh $j < /dev/null &
     done