From 1ab9e52bb5be57b4a51615e197cee1380f356371 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 31 Oct 2007 09:39:32 +0000 Subject: [PATCH] clean ghci-inplace --- driver/ghci/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/driver/ghci/Makefile b/driver/ghci/Makefile index 8232183..8a282af 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) -- 1.7.10.4