FIX BUILD on Windows: horrible hack to work around make(?) bug

diff --git a/libraries/Makefile b/libraries/Makefile
index 6e4361c..3423644 100644 (file)
--- 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)