#!/bin/bash
-if [ -n $DISABLEAFID ]
+if [ -n ${DISABLEAFID:-""} ]
then
java $@
else
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
\ No newline at end of file
+fi