X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=Robust%2Fsrc%2Fbuildscripttaskerror;fp=Robust%2Fsrc%2Fbuildscripttaskerror;h=0000000000000000000000000000000000000000;hb=cdcf09c40af1419fa42932aae249cb79b69b5daf;hp=a4f0459e587d7dfc1e486bf90cf90b18a1ebd3b6;hpb=bae799f54777dbf7bf3f222c61aeeb72b4b11c85;p=IRC.git

diff --git a/Robust/src/buildscripttaskerror b/Robust/src/buildscripttaskerror
deleted file mode 100755
index a4f0459e..00000000
--- a/Robust/src/buildscripttaskerror
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/bash
-echo THIS FILE IS DEPRECATED.  DO NOT USE IT.
-./buildscript -recover -debug -instructionfailures -o $@