Make the `save' makefile targets fail noisily.

diff --git a/src/Makefile.in b/src/Makefile.in
index b3363605811c2ea240c7b4781c3dfd85783629c3..d3b79ca2aadaae2fe0468ed83c691df427c01cac 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -167,7 +167,7 @@ save:
            \) \
            -print0 \
          | pax -rw -pe -l -v -d -0 obj/. \
-       ) || rm -rf obj
+       ) || { rm -rf obj; exit 1; }
 
 .PHONY: restore
 restore:

diff --git a/src/Makefile.tools.in b/src/Makefile.tools.in
index 5af13ad7e5491c1c72655c2d6da2615e5b07ab10..c36b30538ab00d6268c0ced37a60295649b38b1e 100644 (file)
--- a/src/Makefile.tools.in
+++ b/src/Makefile.tools.in
@@ -103,7 +103,7 @@ save:
            \) \
            -print0 \
          | pax -rw -pe -l -v -d -0 tools/obj/. \
-       ) || rm -rf tools/obj
+       ) || { rm -rf tools/obj; exit 1; }
 
 .PHONY: restore
 restore: