From e031825cc463c605583d55865516ff9d532c38e9 Mon Sep 17 00:00:00 2001
From: mh <mh>
Date: Thu, 28 Nov 2002 07:51:08 +0000
Subject: [PATCH] added a scary jikes warning

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index b1e2fa9e..e1aae85e 100755
--- a/build.xml
+++ b/build.xml
@@ -59,7 +59,7 @@
   <property name="app.name"       value="Mir"/>
   <property name="deploy.home"    value="../${app.name}"/>
 
-  <!-- If you want to use the very good jikes compiler, uncomment this -->
+  <!-- don't use unless your Jikes is >= v1.17 and you know what you are doing -->
   <!-- <property name="build.compiler"   value="jikes"/>-->
 
 
-- 
2.11.0