From 51d38152d405df6234a19fca0206892cc202695b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 17 Feb 2015 09:29:07 -0700 Subject: [PATCH] fix `win32-as-is` makefile target --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index e4362dc3ad..4d71a4118c 100644 --- a/Makefile +++ b/Makefile @@ -88,7 +88,7 @@ plain-as-is: $(PLAIN_RACO) setup $(ALL_PLT_SETUP_OPTIONS) win32-as-is: - $(MAKE) base + $(MAKE) win32-base $(WIN32_PLAIN_RACO) setup $(ALL_PLT_SETUP_OPTIONS) # ------------------------------------------------------------