more changes to allow an override

diff --git a/Robust/src/ourjava b/Robust/src/ourjava
index cf9ff1f316fbcfaf759445059dc87cfb33b8a442..2fa3dd7fbed36f18f91fbb5671e879785cee861c 100755 (executable)
--- a/Robust/src/ourjava
+++ b/Robust/src/ourjava
@@ -1,5 +1,8 @@
-
 #!/bin/bash
+if [ -n $DISABLEAFID ]
+then
+java $@
+else
 if [ -a ~/.AFID/SaveTestCase ]
 then 
 if [ -z $OLDPATH ]
@@ -21,3 +24,4 @@ fi
 else
 java $@
 fi
+fi
\ No newline at end of file

diff --git a/Robust/src/ourjavac b/Robust/src/ourjavac
index dd823eca7704c3cd74b9129c4677863d35a39aa8..71c949045f3c44294382eb409d1f267afeec8cdd 100755 (executable)
--- a/Robust/src/ourjavac
+++ b/Robust/src/ourjavac
@@ -1,5 +1,8 @@
-
 #!/bin/bash
+if [ -n $DISABLEAFID ]
+then
+javac $@
+else
 if [ -a ~/.AFID/FindSource ]
 then 
 if [ -z $OLDPATH ]
@@ -21,3 +24,4 @@ fi
 else
 javac $@
 fi
+fi
\ No newline at end of file