make afid work easily
[IRC.git] / Robust / src / ourjavac
1
2 #!/bin/bash
3 if [ -a ~/.AFID/FindSource ]
4 then 
5 if [ -z $OLDPATH ]
6 then
7 export OLDPATH=$PATH
8 export PATH=$PATH:~/.AFID/
9 if [ ! -a ~/research/Robust/.afidconfig ]
10 then
11 echo "project=Compiler" > ~/research/Robust/.afidconfig
12 echo "user=$USER" >> ~/research/Robust/.afidconfig
13 echo "text/visual=visual" >> ~/research/Robust/.afidconfig
14 echo "postURL=http://afid.eecs.uci.edu/afid/upload_file.php" >> ~/research/Robust/.afidconfig
15 ~/.AFID/SaveTestCase --create-exclude-file
16 fi
17 ~/.AFID/FindSource javac $@
18 else
19 javac $@
20 fi
21 else
22 javac $@
23 fi