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 echo "backgroundSVN=false" >> ~/research/Robust/.afidconfig
  19 ~/.AFID/SaveTestCase --create-exclude-file
  20 fi
  21 ~/.AFID/SaveTestCase java $@
  22 else
  23 java $@
  24 fi
  25 else
  26 java $@
  27 fi
  28 fi