changeset 24059:819259b10a09

allow setting of ranlib from the commandline of configure
author mhoffman
date Thu, 16 Aug 2007 12:42:14 +0000
parents 345b18b889c9
children 1a34d8115a84
files configure
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Thu Aug 16 12:41:01 2007 +0000
+++ b/configure	Thu Aug 16 12:42:14 2007 +0000
@@ -764,6 +764,9 @@
   --ar=*)
     _ar=`echo $ac_option | cut -d '=' -f 2`
     ;;
+  --ranlib=*)
+    _ranlib=`echo $ac_option | cut -d '=' -f 2`
+    ;;
   --charset=*)
     _charset=`echo $ac_option | cut -d '=' -f 2`
     ;;