lib/Tools/usedir
changeset 25774 28fac5c2af54
parent 25235 04cb7e02ca38
child 28502 6b0e3e4e1891
--- a/lib/Tools/usedir	Wed Jan 02 16:17:49 2008 +0100
+++ b/lib/Tools/usedir	Wed Jan 02 16:32:52 2008 +0100
@@ -96,8 +96,12 @@
         DUMP="$OPTARG"
         ;;
       M)
-        check_number "$OPTARG"
-        MAXTHREADS="$OPTARG"
+        if [ "$OPTARG" = max ]; then
+	  MAXTHREADS=0
+	else
+          check_number "$OPTARG"
+          MAXTHREADS="$OPTARG"
+	fi
         ;;
       P)
         RPATH="$OPTARG"