diff options
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rw-r--r-- | Makefile.maint | 3 |
2 files changed, 5 insertions, 2 deletions
@@ -1,3 +1,7 @@ +2007-08-23 Jim Meyering <jim@meyering.net> + + * Makefile.maint (patch-check): Don't remove temporaries upon failure. + 2007-08-22 Jim Meyering <jim@meyering.net> * src/c99-to-c89.diff: Adjust offsets. diff --git a/Makefile.maint b/Makefile.maint index 4f9720b61..3c43bd583 100644 --- a/Makefile.maint +++ b/Makefile.maint @@ -372,8 +372,7 @@ patch-check: rm -f src-c89/*.o || msg='rm failed'; \ $(MAKE) -C src-c89 CFLAGS='-Wdeclaration-after-statement -Werror' \ || msg='compile failure with extra options'; \ - rm -rf src-c89 $@.1 $@.2; \ - test "$$msg" = ok && : || echo "$$msg" 1>&2; \ + test "$$msg" = ok && rm -rf src-c89 $@.1 $@.2 || echo "$$msg" 1>&2; \ test "$$msg" = ok # Ensure that date's --help output stays in sync with the info |