changes.

[IRC.git] / Robust / src / ourjava

diff --git a/Robust/src/ourjava b/Robust/src/ourjava
index 22a396eb4121bd0914a70bb63d7c32d8f2d31a45..7f6910c1d2530a2004e4d75ee7dc8165958e8c80 100755 (executable)
--- a/Robust/src/ourjava
+++ b/Robust/src/ourjava
@@ -15,7 +15,6 @@ echo "project=Compiler" > ~/research/Robust/.afidconfig
 echo "user=$USER" >> ~/research/Robust/.afidconfig
 echo "text/visual=visual" >> ~/research/Robust/.afidconfig
 echo "postURL=http://afid.eecs.uci.edu/afid/upload_file.php" >> ~/research/Robust/.afidconfig
-echo "backgroundSVN=false" >> ~/research/Robust/.afidconfig
 ~/.AFID/SaveTestCase --create-exclude-file
 fi
 ~/.AFID/SaveTestCase java $@