From c970c6b0c07a734a3e98c16fdad59db6f713dac1 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Sun, 17 Jul 2005 14:49:50 +0000
Subject: [PATCH] Removed unneeded elements in classpath when building gfeditor
 in order to work around problems with different path separators.

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

diff --git a/src/Makefile b/src/Makefile
index ecd707bbe..085d31366 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -113,7 +113,7 @@ today:
 	tools/mktoday.sh $(PACKAGE_VERSION)
 
 javac:
-	$(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) -classpath $(GFEDITOR)/jargs-1.0.jar $(GFEDITOR)/de/uka/ilkd/key/ocl/gf/*.java
 	$(JAVAC) $(JAVAFLAGS) JavaGUI/*.java
 
 jar: javac