diff options
Diffstat (limited to 'Makefile.maint')
-rw-r--r-- | Makefile.maint | 3 |
1 files changed, 1 insertions, 2 deletions
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 |