Robust/src/ourjava

   1 #!/bin/bash
   2 if [ -n ${DISABLEAFID:-""} ]
   3 then
   4 java $@
   5 else
   6 if [ -a ~/.AFID/SaveTestCase ]
   7 then
   8 if [ -z $OLDPATH ]
   9 then
  10 export OLDPATH=$PATH
  11 export PATH=$PATH:~/.AFID/
  12 if [ ! -e ~/research/Robust/.afidconfig ]
  13 then
  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
  19 fi
  20 ~/.AFID/SaveTestCase java $@
  21 else
  22 java $@
  23 fi
  24 else
  25 java $@
  26 fi
  27 fi