diff options
| author | bringert <unknown> | 2005-07-17 14:31:47 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-07-17 14:31:47 +0000 |
| commit | 7065b5b42e94a99b2e30b93bc951ebb0a1e54244 (patch) | |
| tree | 0d66d86f2a2400e80ce0b2f84adb0839414a3fb2 /src | |
| parent | 348406b6a72fe6dac108dd03c42385d707575269 (diff) | |
Changed jar target according to Kristofers note about OS X behaviour.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 9a5c4db7f..ecd707bbe 100644 --- a/src/Makefile +++ b/src/Makefile @@ -118,7 +118,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 ../../LICENSE LICENCE_jargs gf-icon.gif 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 LICENSE LICENCE_jargs gf-icon.gif ; cd .. ; cd .. + cd $(GFEDITOR) ; rm -rf jarcontents ; mkdir jarcontents ; cp -r de ManifestMain.txt ../../LICENSE LICENCE_jargs gf-icon.gif 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 LICENSE LICENCE_jargs gf-icon.gif ; cd .. ; cd .. showflags: @echo $(GHCFLAGS) |