diff options
Diffstat (limited to 'Makefile.org')
| -rw-r--r-- | Makefile.org | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.org b/Makefile.org index 550ed5135c..61803a41ef 100644 --- a/Makefile.org +++ b/Makefile.org @@ -697,8 +697,8 @@ install: all install_docs cp $$i $(INSTALL_PREFIX)$(INSTALLTOP)/lib; \ $(RANLIB) $(INSTALL_PREFIX)$(INSTALLTOP)/lib/$$i; \ chmod 644 $(INSTALL_PREFIX)$(INSTALLTOP)/lib/$$i ); \ - fi \ - done + fi; \ + done; @if [ -n "$(SHARED_LIBS)" ]; then \ tmp="$(SHARED_LIBS)"; \ for i in $${tmp:-x}; \ @@ -715,7 +715,7 @@ install: all install_docs cp $$i.a $(INSTALL_PREFIX)$(INSTALLTOP)/lib/$$i.a; \ chmod 644 $(INSTALL_PREFIX)$(INSTALLTOP)/lib/$$i.a; \ fi ); \ - fi \ + fi; \ done; \ ( here="`pwd`"; \ cd $(INSTALL_PREFIX)$(INSTALLTOP)/lib; \ |