From dbfe4df2232e5a8f9599bc4bca223e3a88c24421 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 10 Dec 2014 12:25:15 -0700 Subject: [PATCH] make: add job options to final `raco setup` Closes PR 14876 --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 317aef4dab..f99631af26 100644 --- a/Makefile +++ b/Makefile @@ -57,13 +57,13 @@ plain-in-place: $(MAKE) base $(MAKE) pkgs-catalog $(PLAIN_RACO) pkg install --no-setup $(INSTALL_PKGS_ARGS) - $(PLAIN_RACO) setup + $(PLAIN_RACO) setup $(JOB_OPTIONS) win32-in-place: $(MAKE) win32-base $(MAKE) win32-pkgs-catalog $(WIN32_PLAIN_RACO) pkg install --no-setup $(INSTALL_PKGS_ARGS) - $(WIN32_PLAIN_RACO) setup + $(WIN32_PLAIN_RACO) setup $(JOB_OPTIONS) # ------------------------------------------------------------ # Unix-style build (Unix and Mac OS X, only)