From f8acaa92ec76592322f0c63dc1c1b05e712e638b Mon Sep 17 00:00:00 2001 From: Richard Levitte Date: Wed, 31 Jul 2002 13:49:22 +0000 Subject: [PATCH] Make sure to use $(MAKE) everywhere instead of make. Part of PR 181 --- Makefile.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.org b/Makefile.org index e8a5afc3db..c3c0ea2a7c 100644 --- a/Makefile.org +++ b/Makefile.org @@ -677,7 +677,7 @@ install: all install_docs done; \ ( here="`pwd`"; \ cd $(INSTALL_PREFIX)$(INSTALLTOP)/lib; \ - make -f $$here/Makefile link-shared ); \ + $(MAKE) -f $$here/Makefile link-shared ); \ fi install_docs: -- 2.25.1