-
#!/bin/bash
+if [ -n ${DISABLEAFID:-""} ]
+then
+java $@
+else
if [ -a ~/.AFID/SaveTestCase ]
then
if [ -z $OLDPATH ]
then
export OLDPATH=$PATH
export PATH=$PATH:~/.AFID/
-if [ ! -a ~/research/Robust/.afidconfig ]
+if [ ! -e ~/research/Robust/.afidconfig ]
then
echo "project=Compiler" > ~/research/Robust/.afidconfig
echo "user=$USER" >> ~/research/Robust/.afidconfig
else
java $@
fi
+fi