clean ghci-inplace

diff --git a/driver/ghci/Makefile b/driver/ghci/Makefile
index 8232183..8a282af 100644 (file)
--- 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)