projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
keep a copy of my current dissertation example to investiaget further and another...
[IRC.git]
/
Robust
/
src
/
ourjavac
diff --git
a/Robust/src/ourjavac
b/Robust/src/ourjavac
index 71c949045f3c44294382eb409d1f267afeec8cdd..deb7124e53300bf53882db674f4ffb74d11200f0 100755
(executable)
--- a/
Robust/src/ourjavac
+++ b/
Robust/src/ourjavac
@@
-1,5
+1,5
@@
#!/bin/bash
#!/bin/bash
-if [ -n $
DISABLEAFID
]
+if [ -n $
{DISABLEAFID:-""}
]
then
javac $@
else
then
javac $@
else
@@
-9,7
+9,7
@@
if [ -z $OLDPATH ]
then
export OLDPATH=$PATH
export PATH=$PATH:~/.AFID/
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
then
echo "project=Compiler" > ~/research/Robust/.afidconfig
echo "user=$USER" >> ~/research/Robust/.afidconfig
@@
-24,4
+24,4
@@
fi
else
javac $@
fi
else
javac $@
fi
-fi
\ No newline at end of file
+fi