]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Abort if we can't produce the Makefile.dep file, whether or not the make_dependencies...
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 24 Jul 2012 23:35:36 +0000 (23:35 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 24 Jul 2012 23:35:36 +0000 (23:35 +0000)
git-svn-id: https://svn.dealii.org/trunk@25724 0785d39b-7218-0410-832d-ea1e28bc413d

48 files changed:
deal.II/examples/step-1/Makefile
deal.II/examples/step-10/Makefile
deal.II/examples/step-11/Makefile
deal.II/examples/step-12/Makefile
deal.II/examples/step-13/Makefile
deal.II/examples/step-14/Makefile
deal.II/examples/step-15/Makefile
deal.II/examples/step-16/Makefile
deal.II/examples/step-17/Makefile
deal.II/examples/step-18/Makefile
deal.II/examples/step-19/Makefile
deal.II/examples/step-2/Makefile
deal.II/examples/step-20/Makefile
deal.II/examples/step-21/Makefile
deal.II/examples/step-22/Makefile
deal.II/examples/step-23/Makefile
deal.II/examples/step-24/Makefile
deal.II/examples/step-25/Makefile
deal.II/examples/step-26/Makefile
deal.II/examples/step-27/Makefile
deal.II/examples/step-28/Makefile
deal.II/examples/step-29/Makefile
deal.II/examples/step-3/Makefile
deal.II/examples/step-30/Makefile
deal.II/examples/step-31/Makefile
deal.II/examples/step-32/Makefile
deal.II/examples/step-33/Makefile
deal.II/examples/step-34/Makefile
deal.II/examples/step-35/Makefile
deal.II/examples/step-36/Makefile
deal.II/examples/step-37/Makefile
deal.II/examples/step-38/Makefile
deal.II/examples/step-39/Makefile
deal.II/examples/step-4/Makefile
deal.II/examples/step-40/Makefile
deal.II/examples/step-41/Makefile
deal.II/examples/step-42/Makefile
deal.II/examples/step-43/Makefile
deal.II/examples/step-44/Makefile
deal.II/examples/step-45/Makefile
deal.II/examples/step-46/Makefile
deal.II/examples/step-47/Makefile
deal.II/examples/step-48/Makefile
deal.II/examples/step-5/Makefile
deal.II/examples/step-6/Makefile
deal.II/examples/step-7/Makefile
deal.II/examples/step-8/Makefile
deal.II/examples/step-9/Makefile

index e02ddaa43888299a8c9a68bf30ea9cb8c7309753..961c64e13dd7b2f4ffbad00be3944951849e6d6e 100644 (file)
@@ -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:
index d2a4b253381fa5b94b95e7960178813dd8ee88c2..7b988787e630c63bb4e35c56ac8c368d4eb3208f 100644 (file)
@@ -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:
index d931cbf17b01b0522bef22d458a4f2e655ff612e..1c72dac668c1b1359a26ee07054c540bc3d50188 100644 (file)
@@ -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:
index 157b9b238ec81a6c21a7df72a3c83b1e5d703a75..f3512cb64d3e36b8006d53dd340c2027a944a923 100644 (file)
@@ -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:
index 3b648a3ae8e4bc33be8990722bae5b98fb822fea..a7658694b4bbc4daa7e12d62349d549db22a0778 100644 (file)
@@ -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:
index 2f6033c359df692d53f2adcfa33540cf08bf37f2..d8456274c34da9ac142eee2216c99cf2cb01db6a 100644 (file)
@@ -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:
index 19de7f32d8b510dda3b11c2b76f5a11976fa3da6..0db3b4a77213f75ddc418be398adb0720be15338 100644 (file)
@@ -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:
index ec484f95e0c77c12e1323648e9708535b0fbe1a1..afa67991b0072402ed68758c7f72672e13602d45 100644 (file)
@@ -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:
index 7a758ed199804696708c4046328d62002e89fbb9..77b0017a27024097033d670efb75b64d96124989 100644 (file)
@@ -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:
index 927bbdbbc5ac30f18e192dce5ca2b7a0d158b6ab..2c235fcce02e1e46fb6bf3193f88f3344e5dbee4 100644 (file)
@@ -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:
index 8c6307d53a6632e01daa8015bd4cfe0297f2472f..6fe5dfb5090bf89823d86de7ce73b8b08b7c6dac 100644 (file)
@@ -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:
index d1b8389bae12a99131929dbce3cbf5bfbf1aba0d..578846b34e63be7e62a9cb672185dd94e0fc2a80 100644 (file)
@@ -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:
index bc9c6619a6524022c485f17d92e39ca0b9ce40c2..1c7e196a4dec84a304f8eefe574d31a9e76ce314 100644 (file)
@@ -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:
index 083fcc03b092f4a86d95649944e775225b741159..49fdcc66d063a7bdaaefa42388973e23e892c030 100644 (file)
@@ -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:
index 8278a82fb430400d42183a8b7a59b98f8f9b8682..c0cf885aec638ecb8b9dcfa743e104fcf47684c7 100644 (file)
@@ -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:
index 5a8afdaf877a8d81ac7516fb1703d10b1872ef7c..187f04bef4cb323e5835784a8d2cc4b4de0dfbf8 100644 (file)
@@ -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:
index 88cc972b79ffa5ae481d1cd104f6f97013f30165..f574e80b28da197f806a19d4dcfc8e7165cedcc1 100644 (file)
@@ -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:
index d8b77a40525763b8171f0d0dc9109613226e0a26..72d7b46a513b6f9d78177f162134400b31fc4307 100644 (file)
@@ -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:
index ebd19938bf0f2cd25a140b2687af94564e912444..099d8280eeba7f27549cfa7903fbb46523ea2494 100644 (file)
@@ -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:
index 5b92ac4f5ce4a50a62dd3b931afb7853ac1763bb..89a048533a255cb595f832aca892229b6e93ebd3 100644 (file)
@@ -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:
index 95ac8e5e7e9ead46632870ffcfca226a0c7bb1da..e7640ff0e1d7e4f73037708af4c7f010ddb60462 100644 (file)
@@ -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:
index b4972d4e842dbc5792016a6de0a94b63aac79542..42edc921290d53cdd70c51e09ea5768b86e3c70b 100644 (file)
@@ -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:
index 313c8e62001b34f1a370d3a2dbe36b2172141545..bd599741ad0c0773cbb26c404b80baa5e835232e 100644 (file)
@@ -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:
index 366c85901c9920893d0b8f3a38c6950e94c25ddd..6bbd7907f15861eb54365b4e5ce109306fa7baaa 100644 (file)
@@ -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:
index 95f7d2f7baa6ce13eaa19a22dc85299d7a616609..1d1c30c1269b12caccbea11463f007a98e6a13e8 100644 (file)
@@ -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:
index 40d652c2a23526645e65846913118f19ff6af02a..180a67b677ffab5cb5e52eee775e6c4aaf371723 100644 (file)
@@ -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:
index 89add1e5e983a1a89ba1f592822c8fdcc5e726a5..3f355755bd29b961482c52c27904f1e352e5cd4b 100644 (file)
@@ -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:
index 3b5d05231e3a1270ae50dd7f8173fc74d91f41d7..73bd72a6834ba6722e5f6bcfee924c286af56575 100644 (file)
@@ -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:
index aa8175f2a99efa73929e7d56ad68d1f66407acd8..dfd06063b4fe50ae55d0bee04fc7f3b9e5e74090 100755 (executable)
@@ -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:
index d848f31fe8dd1fd648c7917cade3ba411aa8d268..7f436534e42c68f3eee9999479bb013ace2c0dc2 100644 (file)
@@ -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:
index 15898a61c7ad441f289399f856abba45c04ac0be..ce2b17fe7aefad2fcab49de5cc9d5b89f3dde440 100644 (file)
@@ -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:
index 2a8fdd914b1ecbebd1ddebb149afd782799f7120..f7780086da0899d68194a6f50372e67479a364ac 100644 (file)
@@ -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:
index 302b3ce70a92331c52bbb10b03058c0248683784..a58236c56c7ca1c1a413bda49162d9de099efdf1 100644 (file)
@@ -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:
index 3a97fb53457658e5c7d29ba0951cf4c976b09e4b..e8ec6013431408ac0c2f98a58ea95f79e69a42a1 100644 (file)
@@ -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:
index cab518c66f3ecbc5112104204cc1df6175bab3e6..de7a16cf541aef752efce0fb996c034eb2debd1e 100644 (file)
@@ -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:
index 3f8aa8d0ad5c4bb71306cf7555557fb8f8c1296a..74459bdba84928e839381bacda7dcc75d35192c3 100644 (file)
@@ -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:
index 4f520f02a301c656b5c9dae2c62e864402e04c48..4a005b2d7f2605ebbaf647a94672cb134dee69e0 100644 (file)
@@ -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:
index ffff29298bd6351eb24c71556cad2923c9658a65..101261d8038af2cf02bab91ad62d9c71ea563100 100644 (file)
@@ -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:
index cd5c81afdadaa7acf88d1122eb76597ca8a277a1..6a904ca3c5037e392a44cf709316a9b5967784d0 100644 (file)
@@ -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:
index 5494972b92cb6ba88e76df636da5e36562569cdc..9771e8a964581ddf872a746b02850557d7e91435 100644 (file)
@@ -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:
index 1fd610c3e6cb15dfb324750ade36254dabc44c52..057295d8c72d9fd4b6fbb963f0c5a4e4cf0e397f 100644 (file)
@@ -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:
index 37337d9657e6d9a196991eaa650931ccd805ab30..7420c4cde49c5c510cba36f44f7d7eb4477036c5 100644 (file)
@@ -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:
index f7cde30d6d3e6e946d835d95f39458f8cb594764..aae38ebbb5155c007d4d10270efffc51e24ebdcc 100644 (file)
@@ -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:
index e8e3b6825e07d0762dae26f0b322f40e1b5eb002..1bac2bb7c370ca19ec11b62b052cfa88afe54378 100644 (file)
@@ -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:
index 6d6c17d94381b2fd7d7985120dd29c697fd77e35..a244dfda21b4429028fab083c6939838308407f1 100644 (file)
@@ -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:
index 6bba8b570d3c99a7d269f06b493a4b3cb8d1ac01..b0ef13f95afea471ee103fa43b8639d58a569a27 100644 (file)
@@ -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:
index 263d904274bdcf0351c59f7e0059d863eeed7c94..f268fa2327f62fd464323ca262058cf7918eac02 100644 (file)
@@ -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:
index 66be9e4975331ada7c715d42513baa54652690ce..697a362075f0cdae7def290ad5edd955377410e0 100644 (file)
@@ -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:

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.