From e67fdeeb485a9439cc9e58a02d23c3bc48a4f2b2 Mon Sep 17 00:00:00 2001
From: jestin
Date: Wed, 5 Jun 2002 09:45:12 +0000
Subject: update of JIKES path to take the faulty gnu.getopt package into
 account

---
 src/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile b/src/Makefile
index f6bf9dd..a6e7a96 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,5 +1,5 @@
 # Be sure to set this before compiling ...
-JIKESPATH = /usr/lib/j2re1.3/lib/rt.jar:/usr/share/java/repository
+JIKESPATH = /usr/lib/j2re1.3/lib/rt.jar:/usr/share/java/gnu.getopt.jar:/usr/share/java/repository
 JAVACOPTS = -d . -deprecation
 .SUFFIXES: .java .class
      SRCS = *.java
-- 
cgit v1.1