From bb576d0203d61adfee9ce5c8f81301fb986a9b2d Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 8 Dec 2008 23:45:11 +0000
Subject: [PATCH] more changes to allow an override

---
 Robust/src/ourjava  | 6 +++++-
 Robust/src/ourjavac | 6 +++++-
 2 files changed, 10 insertions(+), 2 deletions(-)

diff --git a/Robust/src/ourjava b/Robust/src/ourjava
index cf9ff1f3..2fa3dd7f 100755
--- 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 dd823eca..71c94904 100755
--- 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
-- 
2.34.1