lib/Tools/usedir

 {
   echo
   echo "Usage: $PRG LOGIC NAME"
   echo
   echo "  Options are:"
+  echo "    -B           build mode with THIS_IS_ISABELLE_BUILD indication"
+  echo "    -P PATH      set path for remote theory browsing information"
   echo "    -b           build mode (output heap image, using current dir)"
   echo "    -i BOOL      generate theory browsing information,"
   echo "                 i.e. HTML / graph data (default false)"
-  echo "    -P PATH      set path for remote theory browsing information"
   echo "    -r           reset session path"
   echo "    -s NAME      override session NAME"
   echo
   echo "  Build object-logic or run examples. Also creates browsing"
   echo "  information (HTML etc.) according to settings."

 RPATH=""
 
 function getoptions()
 {
   OPTIND=1
-  while getopts "bi:rs:P:" OPT
+  while getopts "BP:bi:rs:" OPT
   do
     case "$OPT" in
+      B)
+        BUILD=true
+        export THIS_IS_ISABELLE_BUILD=true
+        ;;
       b)
         BUILD=true
         ;;
       i)
         INFO="$OPTARG"