Parent dir Makefile file.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10723 bbc10eb1-c90d-0410-af57-cb519fbb1720
10 years ago · b44b789235
1 changed files with 0 additions and 7 deletions
--- a/7
+++ b/7
@ -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; \