diff configure @ 12632:80973aa180a5

ranlib cleanup by Dan Christiansen
author alex
date Thu, 24 Jun 2004 12:52:17 +0000
parents 47dbe356085c
children 2c18d6dcc22e
line wrap: on
line diff
--- a/configure	Thu Jun 24 12:01:53 2004 +0000
+++ b/configure	Thu Jun 24 12:52:17 2004 +0000
@@ -1892,6 +1892,8 @@
 # If IRIX we must use ar instead of ranlib (not present on IRIX systems)
 if irix ; then
   _ranlib='ar -r'
+elif linux ; then
+  _ranlib='true'
 fi
 
 ######################