diff options
Diffstat (limited to 'driver/ghci')
| -rw-r--r-- | driver/ghci/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/driver/ghci/Makefile b/driver/ghci/Makefile index 14e0c33775..2b15d94ed5 100644 --- a/driver/ghci/Makefile +++ b/driver/ghci/Makefile @@ -61,4 +61,8 @@ ghci.res : ghci.rc ghci.ico windres -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/target.mk |