start of new file

[IRC.git] / Robust / src / buildscripttask

diff --git a/Robust/src/buildscripttask b/Robust/src/buildscripttask
index fc37f883e960f501ed094368039f9c7b5294c5f5..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 -o $MAINFILE.bin
\ No newline at end of file
+echo THIS FILE IS DEPRECATED.  DO NOT USE IT.
+./buildscript -recover -o $@
+