diff options
Diffstat (limited to 'rts/Makefile')
| -rw-r--r-- | rts/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/rts/Makefile b/rts/Makefile index ab5c6e7370..f68e9a5179 100644 --- a/rts/Makefile +++ b/rts/Makefile @@ -27,8 +27,7 @@ HC=$(GHC_INPLACE) # Setting _way here is a nasty hack to make sure we get libHSrts*.a etc -# rather than just libHSrts.a when we are making and installing -# bindists. +# rather than just libHSrts.a when we are installing bindists. ifeq "$(DOING_BIN_DIST)" "YES" _way = * endif @@ -470,5 +469,10 @@ endif BINDIST_EXTRAS += package.conf.in BINDIST_EXTRAS += $(INSTALL_LIBS) BINDIST_EXTRAS += $(INSTALL_LIBEXECS) + +# Setting _way here is a nasty hack to make sure we get libHSrts*.a etc +# rather than just libHSrts.a when we are making bindists. +binary-dist: _way=* + include $(TOP)/mk/bindist.mk |