diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 02cfa1c3e7..ea79f27815 100644 --- a/Makefile.in +++ b/Makefile.in @@ -105,6 +105,7 @@ MAKEDIRS = @MKDIR_P@ CP = cp MV = mv RM = rm -f +RMDIR = @RMDIR@ RMDIRS = @RMDIRS@ RMALL = @RMALL@ NM = @NM@ @@ -273,7 +274,7 @@ clean-ext distclean-ext realclean-ext:: done distclean-ext realclean-ext:: - @-rmdir ext 2> /dev/null || true + @-$(RMDIR) ext 2> /dev/null || true clean-extout: @-$(RMDIRS) $(EXTOUT) 2> /dev/null || true |