diff options
Diffstat (limited to 'utils/mkdirhier/ghc.mk')
| -rw-r--r-- | utils/mkdirhier/ghc.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/mkdirhier/ghc.mk b/utils/mkdirhier/ghc.mk index 4ea063088f..5bc5fabf0f 100644 --- a/utils/mkdirhier/ghc.mk +++ b/utils/mkdirhier/ghc.mk @@ -14,7 +14,7 @@ $(MKDIRHIER) : utils/mkdirhier/mkdirhier.sh -mkdir $(INPLACE) -mkdir $(INPLACE_BIN) -mkdir $(INPLACE_LIB) - $(RM) -f $@ + "$(RM)" $(RM_OPTS) -f $@ echo '#!$(SHELL)' >> $@ cat utils/mkdirhier/mkdirhier.sh >> $@ $(EXECUTABLE_FILE) $@ |