diff options
| author | hdaniels <unknown> | 2005-06-22 14:53:10 +0000 |
|---|---|---|
| committer | hdaniels <unknown> | 2005-06-22 14:53:10 +0000 |
| commit | 8d79dd035a58e4babfb5a1083a4cd276ea9dc4a9 (patch) | |
| tree | b094ad85eb99600c3295f4cdc5fae9b91e87ce5b /src | |
| parent | 46976becbd45e70dbf49308ea1f2065d3833363c (diff) | |
deleted log4j jar. It is no more used.
Diffstat (limited to 'src')
| -rw-r--r-- | src/JavaGUI2/log4j-1.2.8.jar | bin | 352668 -> 0 bytes | |||
| -rw-r--r-- | src/Makefile | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/src/JavaGUI2/log4j-1.2.8.jar b/src/JavaGUI2/log4j-1.2.8.jar Binary files differdeleted file mode 100644 index 493a3ccc1..000000000 --- a/src/JavaGUI2/log4j-1.2.8.jar +++ /dev/null diff --git a/src/Makefile b/src/Makefile index 1c774c9c8..efc8befca 100644 --- a/src/Makefile +++ b/src/Makefile @@ -119,7 +119,7 @@ javac: jar: javac cd JavaGUI; $(JAR) -cmf manifest.txt gf-java.jar *.class ; cd .. - cd $(GFEDITOR) ; rm -rf jarcontents ; mkdir jarcontents ; cp -r de/ ManifestMain.txt jarcontents ; cat jargs-1.0.jar | (cd jarcontents; jar -x jargs) ; cat log4j-1.2.8.jar | (cd jarcontents; jar -x org) ; cd jarcontents ; $(JAR) -cmf ManifestMain.txt ../gfeditor.jar de/uka/ilkd/key/ocl/gf/*.class org jargs ; cd .. ; rm -rf jarcontents ; cd .. + cd $(GFEDITOR) ; rm -rf jarcontents ; mkdir jarcontents ; cp -r de/ ManifestMain.txt jarcontents ; cat jargs-1.0.jar | (cd jarcontents; jar -x jargs) ; cd jarcontents ; $(JAR) -cmf ManifestMain.txt ../gfeditor.jar de/uka/ilkd/key/ocl/gf/*.class jargs ; cd .. ; rm -rf jarcontents ; cd .. showflags: @echo $(GHCFLAGS) |