diff options
| author | bringert <unknown> | 2005-07-17 14:49:50 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-07-17 14:49:50 +0000 |
| commit | c575a9b864fdda9dba5ff4203cfb1f646270b567 (patch) | |
| tree | e308d9459b493223cdfb2e465b30490677c98ec9 /src/Makefile | |
| parent | 7065b5b42e94a99b2e30b93bc951ebb0a1e54244 (diff) | |
Removed unneeded elements in classpath when building gfeditor in order to work around problems with different path separators.
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |