From f9ed27bfc181f3272d62f417d027e2ded6b93c3b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 23 Apr 2007 11:37:48 +0000 Subject: [PATCH] Bug fix in Makefile (jar generation). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@297 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/Makefile b/prism/Makefile index 1998e367..615fd347 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -409,7 +409,7 @@ dist_tidy: binary: @echo Generating jar file... - @cd $(CLASSES_DIR) && jar cmf ../src/manifest.txt ../lib/prism.jar * + @jar cmf src/manifest.txt lib/prism.jar -C classes . -C . images dtds undist: @rm -rf cudd && ln -s ../cudd cudd