From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Tue, 24 Jul 2012 23:35:36 +0000 (+0000)
Subject: Abort if we can't produce the Makefile.dep file, whether or not the make_dependencies... 
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e4b6595651e0155b7b58bd282afd586922fe8df6;p=dealii-svn.git

Abort if we can't produce the Makefile.dep file, whether or not the make_dependencies program terminated with an error.

git-svn-id: https://svn.dealii.org/trunk@25724 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/examples/step-1/Makefile b/deal.II/examples/step-1/Makefile
index e02ddaa438..961c64e13d 100644
--- a/deal.II/examples/step-1/Makefile
+++ b/deal.II/examples/step-1/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-10/Makefile b/deal.II/examples/step-10/Makefile
index d2a4b25338..7b988787e6 100644
--- a/deal.II/examples/step-10/Makefile
+++ b/deal.II/examples/step-10/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-11/Makefile b/deal.II/examples/step-11/Makefile
index d931cbf17b..1c72dac668 100644
--- a/deal.II/examples/step-11/Makefile
+++ b/deal.II/examples/step-11/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-12/Makefile b/deal.II/examples/step-12/Makefile
index 157b9b238e..f3512cb64d 100644
--- a/deal.II/examples/step-12/Makefile
+++ b/deal.II/examples/step-12/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-13/Makefile b/deal.II/examples/step-13/Makefile
index 3b648a3ae8..a7658694b4 100644
--- a/deal.II/examples/step-13/Makefile
+++ b/deal.II/examples/step-13/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-14/Makefile b/deal.II/examples/step-14/Makefile
index 2f6033c359..d8456274c3 100644
--- a/deal.II/examples/step-14/Makefile
+++ b/deal.II/examples/step-14/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-15/Makefile b/deal.II/examples/step-15/Makefile
index 19de7f32d8..0db3b4a772 100644
--- a/deal.II/examples/step-15/Makefile
+++ b/deal.II/examples/step-15/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-16/Makefile b/deal.II/examples/step-16/Makefile
index ec484f95e0..afa67991b0 100644
--- a/deal.II/examples/step-16/Makefile
+++ b/deal.II/examples/step-16/Makefile
@@ -134,7 +134,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-17/Makefile b/deal.II/examples/step-17/Makefile
index 7a758ed199..77b0017a27 100644
--- a/deal.II/examples/step-17/Makefile
+++ b/deal.II/examples/step-17/Makefile
@@ -167,7 +167,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-18/Makefile b/deal.II/examples/step-18/Makefile
index 927bbdbbc5..2c235fcce0 100644
--- a/deal.II/examples/step-18/Makefile
+++ b/deal.II/examples/step-18/Makefile
@@ -167,7 +167,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-19/Makefile b/deal.II/examples/step-19/Makefile
index 8c6307d53a..6fe5dfb509 100644
--- a/deal.II/examples/step-19/Makefile
+++ b/deal.II/examples/step-19/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-2/Makefile b/deal.II/examples/step-2/Makefile
index d1b8389bae..578846b34e 100644
--- a/deal.II/examples/step-2/Makefile
+++ b/deal.II/examples/step-2/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-20/Makefile b/deal.II/examples/step-20/Makefile
index bc9c6619a6..1c7e196a4d 100644
--- a/deal.II/examples/step-20/Makefile
+++ b/deal.II/examples/step-20/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-21/Makefile b/deal.II/examples/step-21/Makefile
index 083fcc03b0..49fdcc66d0 100644
--- a/deal.II/examples/step-21/Makefile
+++ b/deal.II/examples/step-21/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-22/Makefile b/deal.II/examples/step-22/Makefile
index 8278a82fb4..c0cf885aec 100644
--- a/deal.II/examples/step-22/Makefile
+++ b/deal.II/examples/step-22/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-23/Makefile b/deal.II/examples/step-23/Makefile
index 5a8afdaf87..187f04bef4 100644
--- a/deal.II/examples/step-23/Makefile
+++ b/deal.II/examples/step-23/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-24/Makefile b/deal.II/examples/step-24/Makefile
index 88cc972b79..f574e80b28 100644
--- a/deal.II/examples/step-24/Makefile
+++ b/deal.II/examples/step-24/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-25/Makefile b/deal.II/examples/step-25/Makefile
index d8b77a4052..72d7b46a51 100644
--- a/deal.II/examples/step-25/Makefile
+++ b/deal.II/examples/step-25/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-26/Makefile b/deal.II/examples/step-26/Makefile
index ebd19938bf..099d8280ee 100644
--- a/deal.II/examples/step-26/Makefile
+++ b/deal.II/examples/step-26/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-27/Makefile b/deal.II/examples/step-27/Makefile
index 5b92ac4f5c..89a048533a 100644
--- a/deal.II/examples/step-27/Makefile
+++ b/deal.II/examples/step-27/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-28/Makefile b/deal.II/examples/step-28/Makefile
index 95ac8e5e7e..e7640ff0e1 100644
--- a/deal.II/examples/step-28/Makefile
+++ b/deal.II/examples/step-28/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-29/Makefile b/deal.II/examples/step-29/Makefile
index b4972d4e84..42edc92129 100644
--- a/deal.II/examples/step-29/Makefile
+++ b/deal.II/examples/step-29/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-3/Makefile b/deal.II/examples/step-3/Makefile
index 313c8e6200..bd599741ad 100644
--- a/deal.II/examples/step-3/Makefile
+++ b/deal.II/examples/step-3/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-30/Makefile b/deal.II/examples/step-30/Makefile
index 366c85901c..6bbd7907f1 100644
--- a/deal.II/examples/step-30/Makefile
+++ b/deal.II/examples/step-30/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-31/Makefile b/deal.II/examples/step-31/Makefile
index 95f7d2f7ba..1d1c30c126 100644
--- a/deal.II/examples/step-31/Makefile
+++ b/deal.II/examples/step-31/Makefile
@@ -156,7 +156,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-32/Makefile b/deal.II/examples/step-32/Makefile
index 40d652c2a2..180a67b677 100644
--- a/deal.II/examples/step-32/Makefile
+++ b/deal.II/examples/step-32/Makefile
@@ -157,7 +157,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-33/Makefile b/deal.II/examples/step-33/Makefile
index 89add1e5e9..3f355755bd 100644
--- a/deal.II/examples/step-33/Makefile
+++ b/deal.II/examples/step-33/Makefile
@@ -161,7 +161,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-34/Makefile b/deal.II/examples/step-34/Makefile
index 3b5d05231e..73bd72a683 100644
--- a/deal.II/examples/step-34/Makefile
+++ b/deal.II/examples/step-34/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-35/Makefile b/deal.II/examples/step-35/Makefile
index aa8175f2a9..dfd06063b4 100755
--- a/deal.II/examples/step-35/Makefile
+++ b/deal.II/examples/step-35/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-36/Makefile b/deal.II/examples/step-36/Makefile
index d848f31fe8..7f436534e4 100644
--- a/deal.II/examples/step-36/Makefile
+++ b/deal.II/examples/step-36/Makefile
@@ -164,7 +164,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-37/Makefile b/deal.II/examples/step-37/Makefile
index 15898a61c7..ce2b17fe7a 100644
--- a/deal.II/examples/step-37/Makefile
+++ b/deal.II/examples/step-37/Makefile
@@ -150,7 +150,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-38/Makefile b/deal.II/examples/step-38/Makefile
index 2a8fdd914b..f7780086da 100644
--- a/deal.II/examples/step-38/Makefile
+++ b/deal.II/examples/step-38/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-39/Makefile b/deal.II/examples/step-39/Makefile
index 302b3ce70a..a58236c56c 100644
--- a/deal.II/examples/step-39/Makefile
+++ b/deal.II/examples/step-39/Makefile
@@ -136,7 +136,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-4/Makefile b/deal.II/examples/step-4/Makefile
index 3a97fb5345..e8ec601343 100644
--- a/deal.II/examples/step-4/Makefile
+++ b/deal.II/examples/step-4/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-40/Makefile b/deal.II/examples/step-40/Makefile
index cab518c66f..de7a16cf54 100644
--- a/deal.II/examples/step-40/Makefile
+++ b/deal.II/examples/step-40/Makefile
@@ -161,7 +161,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-41/Makefile b/deal.II/examples/step-41/Makefile
index 3f8aa8d0ad..74459bdba8 100644
--- a/deal.II/examples/step-41/Makefile
+++ b/deal.II/examples/step-41/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-42/Makefile b/deal.II/examples/step-42/Makefile
index 4f520f02a3..4a005b2d7f 100644
--- a/deal.II/examples/step-42/Makefile
+++ b/deal.II/examples/step-42/Makefile
@@ -157,7 +157,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-43/Makefile b/deal.II/examples/step-43/Makefile
index ffff29298b..101261d803 100644
--- a/deal.II/examples/step-43/Makefile
+++ b/deal.II/examples/step-43/Makefile
@@ -156,7 +156,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-44/Makefile b/deal.II/examples/step-44/Makefile
index cd5c81afda..6a904ca3c5 100644
--- a/deal.II/examples/step-44/Makefile
+++ b/deal.II/examples/step-44/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-45/Makefile b/deal.II/examples/step-45/Makefile
index 5494972b92..9771e8a964 100644
--- a/deal.II/examples/step-45/Makefile
+++ b/deal.II/examples/step-45/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-46/Makefile b/deal.II/examples/step-46/Makefile
index 1fd610c3e6..057295d8c7 100644
--- a/deal.II/examples/step-46/Makefile
+++ b/deal.II/examples/step-46/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-47/Makefile b/deal.II/examples/step-47/Makefile
index 37337d9657..7420c4cde4 100644
--- a/deal.II/examples/step-47/Makefile
+++ b/deal.II/examples/step-47/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-48/Makefile b/deal.II/examples/step-48/Makefile
index f7cde30d6d..aae38ebbb5 100644
--- a/deal.II/examples/step-48/Makefile
+++ b/deal.II/examples/step-48/Makefile
@@ -134,7 +134,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-5/Makefile b/deal.II/examples/step-5/Makefile
index e8e3b6825e..1bac2bb7c3 100644
--- a/deal.II/examples/step-5/Makefile
+++ b/deal.II/examples/step-5/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-6/Makefile b/deal.II/examples/step-6/Makefile
index 6d6c17d943..a244dfda21 100644
--- a/deal.II/examples/step-6/Makefile
+++ b/deal.II/examples/step-6/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-7/Makefile b/deal.II/examples/step-7/Makefile
index 6bba8b570d..b0ef13f95a 100644
--- a/deal.II/examples/step-7/Makefile
+++ b/deal.II/examples/step-7/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-8/Makefile b/deal.II/examples/step-8/Makefile
index 263d904274..f268fa2327 100644
--- a/deal.II/examples/step-8/Makefile
+++ b/deal.II/examples/step-8/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them:
diff --git a/deal.II/examples/step-9/Makefile b/deal.II/examples/step-9/Makefile
index 66be9e4975..697a362075 100644
--- a/deal.II/examples/step-9/Makefile
+++ b/deal.II/examples/step-9/Makefile
@@ -135,7 +135,7 @@ Makefile.dep: $(target).cc Makefile \
 	@$D/common/scripts/make_dependencies  $(INCLUDE) -B. $(target).cc \
 		> $@ \
 	  || (rm -f $@ ; false)
-	@if test -s $@ ; then : else rm $@ ; fi
+	@if test -s $@ ; then true ; else rm $@ ; false ; false ; fi
 
 # To make the dependencies known to `make', we finally have to include
 # them: