diff options
Diffstat (limited to 'driver/ghci')
| -rw-r--r-- | driver/ghci/Makefile | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/driver/ghci/Makefile b/driver/ghci/Makefile index 37c30c2ebe..ac6d3834fc 100644 --- a/driver/ghci/Makefile +++ b/driver/ghci/Makefile @@ -5,9 +5,6 @@ TOP=../.. include $(TOP)/mk/boilerplate.mk -# hack for ghci-inplace script, see below -INSTALLING=1 - # ----------------------------------------------------------------------------- # ghci script @@ -49,13 +46,6 @@ all:: $(EXECUTABLE_FILE) $(INPLACE_SCRIPT) endif -# don't recurse on 'make install' -# -ifeq "$(INSTALLING)" "1" -all clean distclean maintainer-clean :: - $(MAKE) INSTALLING=0 $(MFLAGS) $@ -endif - ifeq "$(TARGETPLATFORM)" "i386-unknown-mingw32" ghci.res : ghci.rc ghci.ico windres --preprocessor="$(CPP) -xc -DRC_INVOKED" -o ghci.res -i ghci.rc -O coff |