some tweaks to number of workers and workloads

[IRC.git] / Robust / src / buildscripttask

diff --git a/Robust/src/buildscripttask b/Robust/src/buildscripttask
index 85dcbb4462f8aa1c45d20aa54a9c13e03d1cba75..fb2b4065e3ac03061f81494b4134a9e13421b2e1 100755 (executable)
--- a/Robust/src/buildscripttask
+++ b/Robust/src/buildscripttask
@@ -1,9 +1,4 @@
 #!/bin/bash
-ROBUSTROOT=~/research/Robust/src
-MAINFILE=$1
-shift
-mkdir tmpbuilddirectory
+echo THIS FILE IS DEPRECATED.  DO NOT USE IT.
+./buildscript -recover -o $@
 
-java -cp $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary $ROBUSTROOT/ClassLibrary/ -dir tmpbuilddirectory -precise -struct $MAINFILE -task $@
-
-gcc -DPRECISE_GC -I$ROBUSTROOT/Runtime -I. -IRuntime/include -Itmpbuilddirectory -O0 -LRuntime/lib/ -DTASK -DDEBUG -g tmpbuilddirectory/methods.c tmpbuilddirectory/taskdefs.c $ROBUSTROOT/Runtime/runtime.c $ROBUSTROOT/Runtime/file.c $ROBUSTROOT/Runtime/socket.c $ROBUSTROOT/Runtime/Queue.c $ROBUSTROOT/Runtime/SimpleHash.c $ROBUSTROOT/Runtime/checkpoint.c $ROBUSTROOT/Runtime/GenericHashtable.c $ROBUSTROOT/Runtime/option.c $ROBUSTROOT/Runtime/garbage.c -o $MAINFILE.bin
\ No newline at end of file