From 71f40fe17aa30324d37156e0a97726e8e207707b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 18 Apr 2011 09:52:14 +0000 Subject: [PATCH] Makefile fix. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2784 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 04754097..5f7df21b 100644 --- a/Makefile +++ b/Makefile @@ -13,8 +13,7 @@ dist_src: dist_check_version mv prism-examples prism/examples mv cudd prism mv prism "prism-$(VERSION)-src" - (cd "prism-$(VERSION)-src"; $(MAKE) clean_all ) - (cd "prism-$(VERSION)-src"; $(MAKE) dist_tidy ) + (cd "prism-$(VERSION)-src"; $(MAKE) dist_src ) tar cfz "prism-$(VERSION)-src.tar.gz" "prism-$(VERSION)-src" dist_check_version: