From 85a9bdaaee6aab5ced07cc5f05f9bf98854e6714 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 12 Jun 2019 07:32:51 -0600 Subject: [PATCH] unbreak Windows non-CS build --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 798aa67570..c0d8ea25b9 100644 --- a/Makefile +++ b/Makefile @@ -189,7 +189,7 @@ INSTALL_SETUP_ARGS = $(SELF_FLAGS_qq) $(PLT_SETUP_OPTIONS_qq) SETUP_MACHINE_FLAG BASE_INSTALL_TARGET = plain-base-install -WIN32_BUILD_LEVEL = 3m +WIN32_BUILD_LEVEL = all base: if [ "$(CPUS)" = "" ] ; \