From 0852e11a68225cd24e2f3170ce184d4b35b94860 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, 1 insertion(+), 4 deletions(-) diff --git a/libraries/Makefile b/libraries/Makefile index 6e4361c..3423644 100644 --- a/libraries/Makefile +++ b/libraries/Makefile @@ -224,10 +224,7 @@ $(foreach SUBDIR,$(SUBDIRS),make.library.$(SUBDIR)):\ make.library.%: stamp/configure.library.build$(CONFIGURE_STAMP_EXTRAS).% \ %/GNUmakefile \ %/setup/Setup ifBuildable/ifBuildable -# 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 $* $(MAKE) ifBuildable/ifBuildable $* setup/Setup register --inplace # Build the library using 'setup build' (not the default) -- 1.7.10.4