From b9e13711db0085b25e9257d1034b43a3a2c47b7e Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Sun, 26 Jun 2005 19:40:31 +0000
Subject: Finnish close to production ; Predef.occurs

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

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 52bff9a33..9a5c4db7f 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -113,9 +113,8 @@ today:
 	tools/mktoday.sh $(PACKAGE_VERSION)
 
 javac:
-	$(JAVAC) $(JAVAFLAGS) JavaGUI/*.java
 	$(JAVAC) $(JAVAFLAGS) -classpath $(GFEDITOR):$(GFEDITOR)/log4j-1.2.8.jar:$(GFEDITOR)/jargs-1.0.jar $(GFEDITOR)/de/uka/ilkd/key/ocl/gf/*.java
-	
+	$(JAVAC) $(JAVAFLAGS) JavaGUI/*.java
 
 jar: javac
 	cd JavaGUI; $(JAR) -cmf manifest.txt gf-java.jar *.class ; cd ..
-- 
cgit v1.2.3