From c46a09eb4696fbd89fc7c8c1c2043d6da572326b Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 21 Jun 2007 14:45:19 +0000 Subject: [PATCH] FIX BUILD on Windows: horrible hack to work around make(?) bug --- libraries/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/libraries/Makefile b/libraries/Makefile index ddf94d9..c1a3d2f 100644 --- a/libraries/Makefile +++ b/libraries/Makefile @@ -224,7 +224,10 @@ $(foreach SUBDIR,$(SUBDIRS),make.library.$(SUBDIR)):\ make.library.%: stamp/configure.library.build$(CONFIGURE_STAMP_EXTRAS).% \ %/GNUmakefile \ %/setup/Setup ifBuildable/ifBuildable - ifBuildable/ifBuildable $* $(MAKE) +# HACK: invoke make via $(SHELL), otherwise on Windows it apparently +# gets argv[0] set to "make" (with quotes), which causes a problem +# when make re-invokes itself after creating .depend. Ugh. + ifBuildable/ifBuildable $* $(SHELL) -c $(MAKE) ifBuildable/ifBuildable $* setup/Setup register --inplace # Build the library using 'setup build' (not the default) -- 1.7.10.4