changes to generate web pages of increased sizes

[IRC.git] / Robust / src / buildscripttask

diff --git a/Robust/src/buildscripttask b/Robust/src/buildscripttask
index 07cb3d6daf74703d38fac49677aec26f14c462b7..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 tmpbuilddirectory/taskdefs.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 $@
+