diff options
Diffstat (limited to 'driver/ghci/Makefile')
| -rw-r--r-- | driver/ghci/Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/driver/ghci/Makefile b/driver/ghci/Makefile index 2c118faf2b..94fe452935 100644 --- a/driver/ghci/Makefile +++ b/driver/ghci/Makefile @@ -53,8 +53,6 @@ ghci.res : ghci.rc ghci.ico windres --preprocessor="$(CPP) -xc -DRC_INVOKED" -o ghci.res -i ghci.rc -O coff endif -binary-dist: - $(INSTALL_DIR) $(BIN_DIST_DIR)/driver/ghci - $(INSTALL_DATA) Makefile $(BIN_DIST_DIR)/driver/ghci/ +include $(TOP)/mk/bindist.mk include $(TOP)/mk/target.mk |