# HG changeset patch # User mhoffman # Date 1187268134 0 # Node ID 819259b10a092c1ab62d2022c35405a3bc00fb96 # Parent 345b18b889c9281067ed626ca2432f322778435d allow setting of ranlib from the commandline of configure diff -r 345b18b889c9 -r 819259b10a09 configure --- 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` ;;