From a19cd352f12257316a4d218c40697323de6475db Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 7 Oct 2011 11:59:04 +0000 Subject: [PATCH] Makefile dist_bin target automatically builds "all" too first. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3948 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/Makefile b/prism/Makefile index 6d9fc084..49f7236b 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -382,7 +382,7 @@ VERSION=# default value for VERSION is blank to force provision at command-line dist_src: dist_check_version dist_copy clean_all dist_tidy -dist_bin: dist_check_version binary dist_tidy dist_bin_copy +dist_bin: dist_check_version all binary dist_tidy dist_bin_copy dist_check_version: @if [ "$(VERSION)" = "" ]; then echo "Usage: make dist_src/dist_bin VERSION=3.1"; exit 1; fi