some tweaks to number of workers and workloads

[IRC.git] / Robust / src / buildscripttask

diff --git a/Robust/src/buildscripttask b/Robust/src/buildscripttask
index ff598b7400e8b8344beda750c43c356edaf7146c..fb2b4065e3ac03061f81494b4134a9e13421b2e1 100755 (executable)
--- a/Robust/src/buildscripttask
+++ b/Robust/src/buildscripttask
@@ -1,7 +1,4 @@
 #!/bin/bash
-ROBUSTROOT=~/research/Robust/src
-MAINFILE=$1
-shift
-mkdir tmpbuilddirectory
-java -cp $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary $ROBUSTROOT/ClassLibrary/ -dir tmpbuilddirectory -task $@
-gcc -I$ROBUSTROOT/Runtime -Itmpbuilddirectory -O0 -DTASK -g tmpbuilddirectory/methods.c $ROBUSTROOT/Runtime/runtime.c $ROBUSTROOT/Runtime/Queue.c $ROBUSTROOT/Runtime/SimpleHash.c -o $MAINFILE.bin
\ No newline at end of file
+echo THIS FILE IS DEPRECATED.  DO NOT USE IT.
+./buildscript -recover -o $@
+