2 if [ -n ${DISABLEAFID:-""} ]
6 if [ -a ~/.AFID/FindSource ]
11 export PATH=$PATH:~/.AFID/
12 if [ ! -e ~/research/Robust/.afidconfig ]
14 echo "project=Compiler" > ~/research/Robust/.afidconfig
15 echo "user=$USER" >> ~/research/Robust/.afidconfig
16 echo "text/visual=visual" >> ~/research/Robust/.afidconfig
17 echo "postURL=http://afid.eecs.uci.edu/afid/upload_file.php" >> ~/research/Robust/.afidconfig
18 ~/.AFID/SaveTestCase --create-exclude-file
20 ~/.AFID/FindSource javac $@