diff options
Diffstat (limited to 'driver/ghci')
| -rw-r--r-- | driver/ghci/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/ghci/Makefile b/driver/ghci/Makefile index 82321831e0..8a282af416 100644 --- a/driver/ghci/Makefile +++ b/driver/ghci/Makefile @@ -37,6 +37,7 @@ endif ifneq "$(TARGETPLATFORM)" "i386-unknown-mingw32" INPLACE_SCRIPT=ghci-inplace +CLEAN_FILES += $(INPLACE_SCRIPT) all:: $(RM) -f $(INPLACE_SCRIPT) echo "#!$(SHELL)" >> $(INPLACE_SCRIPT) |