diff options
Diffstat (limited to 'Makefile.org')
| -rw-r--r-- | Makefile.org | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.org b/Makefile.org index 53c4d83711..1db864b27c 100644 --- a/Makefile.org +++ b/Makefile.org @@ -733,7 +733,8 @@ install: all install_docs done; \ ( here="`pwd`"; \ cd $(INSTALL_PREFIX)$(INSTALLTOP)/lib; \ - $(MAKE) -f $$here/Makefile link-shared ); \ + set $(MAKE); \ + $$1 -f $$here/Makefile link-shared ); \ fi install_docs: |