# HG changeset patch
# User wenzelm
# Date 1199287972 -3600
# Node ID 28fac5c2af54242068c9b970486b9c9f35f78bb5
# Parent  0d585d7567452c579d15cfbddb58a80b16a0eacc
added usedir -M max (alias for -M 0);

diff -r 0d585d756745 -r 28fac5c2af54 doc-src/System/present.tex
--- a/doc-src/System/present.tex	Wed Jan 02 16:17:49 2008 +0100
+++ b/doc-src/System/present.tex	Wed Jan 02 16:32:52 2008 +0100
@@ -469,14 +469,14 @@
 
 \medskip The \texttt{-M} option specifies the maximum number of
 parallel threads used for processing independent theory files
-(multithreading only works on suitable ML platforms).  When tuning the
-performance of large Isabelle sessions, the number of actual CPU cores
-of the underlying hardware is a good starting point for option
-\texttt{-M}.  The \texttt{-T} option determines the level of detail in
-tracing output concerning the internal locking and scheduling in
-multithreaded operation.  This may be helpful in isolating performance
-bottle-necks, e.g.\ due to excessive wait states when locking critical
-code sections.
+(multithreading only works on suitable ML platforms).  The special
+value of ``\texttt{0}'' or ``\texttt{max}'' refers to the number of
+actual CPU cores of the underlying machine, which is a good starting
+point for optimal performance tuning.  The \texttt{-T} option
+determines the level of detail in tracing output concerning the
+internal locking and scheduling in multithreaded operation.  This may
+be helpful in isolating performance bottle-necks, e.g.\ due to
+excessive wait states when locking critical code sections.
 
 \medskip Any \texttt{usedir} session is named by some \emph{session
   identifier}. These accumulate, documenting the way sessions depend on
diff -r 0d585d756745 -r 28fac5c2af54 lib/Tools/usedir
--- 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"