diff options
| author | aarne <unknown> | 2005-06-26 19:40:31 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-06-26 19:40:31 +0000 |
| commit | b9e13711db0085b25e9257d1034b43a3a2c47b7e (patch) | |
| tree | 1c107ae9536d56e43c9e9c3891066cd4c04aec63 /src/Makefile | |
| parent | 5d6bb705e66343a030ba242175a031e839be2aee (diff) | |
Finnish close to production ; Predef.occurs
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
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 .. |