From b44b7892350793ee12a17f973e9f6567fc9a7b76 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 22 Sep 2015 23:06:53 +0000 Subject: [PATCH] Parent dir Makefile file. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10723 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- Makefile | 7 ------- 1 file changed, 7 deletions(-) diff --git a/Makefile b/Makefile index ac8eb9dc..347c690c 100644 --- a/Makefile +++ b/Makefile @@ -19,13 +19,6 @@ dist_src_pub: version do_build # Do the build do_build: - mkdir dontcopy - @if [ -e prism/examples ]; then \ - echo "mv prism/examples dontcopy"; mv prism/examples dontcopy; \ - fi - @if [ -e prism/tests ]; then \ - echo "mv prism/tests dontcopy"; mv prism/tests dontcopy; \ - fi mkdir dontcopy @if [ -e prism/examples ]; then \ echo "mv prism/examples dontcopy"; mv prism/examples dontcopy; \