From b7c8f04c101b5a5f6fd7a44a822f6a10dda0b912 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 7 May 2008 06:11:28 +0000 Subject: [PATCH] Makefile bugfix: dist_bin works even in examples dir absent. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@785 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index 7fcdd7bf..6d38d7e1 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -386,12 +386,12 @@ dist_tidy: @find . -name '*NOTES*' | grep -v src/parser/NOTES | grep -v cudd/RELEASE.NOTES || test 1 @echo Processing text files... @find . -type f -name '*.txt' -exec unix2dos {} {} \; 2> /dev/null - @find examples -type f ! -name auto -exec unix2dos {} {} \; 2> /dev/null + @find examples -type f ! -name auto -exec unix2dos {} {} \; 2> /dev/null || test 1 @echo Processing file permissions... @find . -type f -exec chmod 644 {} \; @find . \( -type d -o -type s \) -exec chmod 755 {} \; @find . -type f \( -name '*.sh' -o -name '*.so' -o -name '*.dll' \) -exec chmod 755 {} \; - @find examples -type f -name 'auto' -exec chmod 755 {} \; + @find examples -type f -name 'auto' -exec chmod 755 {} \; || test 1 @find bin -type f -exec chmod 755 {} \; @find src/bin -type f -exec chmod 755 {} \; @find etc/scripts -type f -exec chmod 755 {} \;