diff options
Diffstat (limited to 'src/Makefile.in')
-rw-r--r-- | src/Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 2177bbe42..103c1eeb9 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -712,7 +712,6 @@ GLIBC21 = @GLIBC21@ GMSGFMT = @GMSGFMT@ GNU_PACKAGE = @GNU_PACKAGE@ GREP = @GREP@ -HAVE__BOOL = @HAVE__BOOL@ HELP2MAN = @HELP2MAN@ INSTALL_DATA = @INSTALL_DATA@ INSTALL_PROGRAM = @INSTALL_PROGRAM@ @@ -992,7 +991,7 @@ uninstall-binPROGRAMS: done clean-binPROGRAMS: - -test -z "$(bin_PROGRAMS)" || rm -f $(bin_PROGRAMS) > /dev/null 2>&1 || /bin/rm -f $(bin_PROGRAMS) + -test -z "$(bin_PROGRAMS)" || rm -f $(bin_PROGRAMS) installcheck-binPROGRAMS: $(bin_PROGRAMS) bad=0; pid=$$$$; list="$(bin_PROGRAMS)"; for p in $$list; do \ |