From 17a5711dbb5edb578b459e7f96e58bffc5eabb5f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 3 May 2020 09:40:36 -0600 Subject: [PATCH] makefile: fix addition of `--disable-lib` When potentially adding the `--disable-lib` flag, don't drop existing extra configure flags. Specifically, the `--enable-crossany` flag from distro-build could get lost, which breaks a soutrce distribution with built packages. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 60f36309f9..04010d5d94 100644 --- a/Makefile +++ b/Makefile @@ -853,7 +853,7 @@ BUNDLE_FROM_SERVER_TARGET = bundle-from-server client: if [ ! -d build/log ] ; then rm -rf build/user ; fi - $(MAKE) $(CLIENT_BASE) $(COPY_ARGS) MORE_CONFIGURE_ARGS="$(DISABLE_STATIC_LIBS)" + $(MAKE) $(CLIENT_BASE) $(COPY_ARGS) MORE_CONFIGURE_ARGS="$(MORE_CONFIGURE_ARGS) $(DISABLE_STATIC_LIBS)" $(MAKE) distro-build-from-server $(COPY_ARGS) $(MAKE) $(BUNDLE_FROM_SERVER_TARGET) $(COPY_ARGS) $(USER_RACKET) -l distro-build/set-config $(SET_BUNDLE_CONFIG_q)