changes.

[IRC.git] / Robust / src / ourjava

diff --git a/Robust/src/ourjava b/Robust/src/ourjava
index 2fa3dd7fbed36f18f91fbb5671e879785cee861c..7f6910c1d2530a2004e4d75ee7dc8165958e8c80 100755 (executable)
--- a/Robust/src/ourjava
+++ b/Robust/src/ourjava
@@ -1,5 +1,5 @@
 #!/bin/bash
-if [ -n $DISABLEAFID ]
+if [ -n ${DISABLEAFID:-""} ]
 then
 java $@
 else
@@ -9,7 +9,7 @@ if [ -z $OLDPATH ]
 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
@@ -24,4 +24,4 @@ fi
 else
 java $@
 fi
-fi
\ No newline at end of file
+fi