diff options
Diffstat (limited to 'driver/mangler/Makefile')
| -rw-r--r-- | driver/mangler/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/driver/mangler/Makefile b/driver/mangler/Makefile index 7c4d276b0c..aaec710d53 100644 --- a/driver/mangler/Makefile +++ b/driver/mangler/Makefile @@ -20,4 +20,9 @@ ifeq "$(BootingFromHc)" "YES" boot :: all endif +binary-dist: + $(INSTALL_DIR) $(BIN_DIST_DIR)/driver/mangler + $(INSTALL_DATA) Makefile $(BIN_DIST_DIR)/driver/mangler/ + $(INSTALL_PROGRAM) $(PROG) $(BIN_DIST_DIR)/driver/mangler/ + include $(TOP)/mk/target.mk |