diff options
| -rw-r--r-- | libraries/Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/libraries/Makefile b/libraries/Makefile index 6e4361cee6..342364400e 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) |