From 962c53c0cdbe0e18085c00967da9eaedac268e1b Mon Sep 17 00:00:00 2001 From: Richard Levitte Date: Tue, 13 Nov 2001 11:21:23 +0000 Subject: [PATCH] That was incorrect. Revert. --- Makefile.org | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Makefile.org b/Makefile.org index f1d7903f1b..173c1ab9b5 100644 --- a/Makefile.org +++ b/Makefile.org @@ -488,8 +488,7 @@ install: all install_docs if [ -f "$$i" ]; then \ ( echo installing $$i; \ cp $$i $(INSTALL_PREFIX)$(INSTALLTOP)/lib; \ - (echo $$i | grep '\\.a$$' > /dev/null 2>&1) \ - && $(RANLIB) $(INSTALL_PREFIX)$(INSTALLTOP)/lib/$$i; \ + $(RANLIB) $(INSTALL_PREFIX)$(INSTALLTOP)/lib/$$i; \ chmod 644 $(INSTALL_PREFIX)$(INSTALLTOP)/lib/$$i ); \ fi \ done -- 2.25.1