lib/Tools/build

   echo "  Options are:"
   echo "    -a           all sessions"
   echo "    -b           build target images"
   echo "    -d DIR       additional session directory with ROOT file"
   echo "    -j INT       maximum number of jobs (default 1)"
-  echo "    -l           list sessions only"
+  echo "    -n           no build -- test dependencies only"
   echo "    -o OPTION    override session configuration OPTION (via NAME=VAL or NAME)"
   echo "    -s           system build mode: produce output in ISABELLE_HOME"
   echo "    -t           inner session timing"
   echo "    -v           verbose"
   echo

 ## process command line
 
 ALL_SESSIONS=false
 BUILD_IMAGES=false
 MAX_JOBS=1
-LIST_ONLY=false
+NO_BUILD=false
 SYSTEM_MODE=false
 TIMING=false
 VERBOSE=false
 
 declare -a MORE_DIRS=()
 eval "declare -a BUILD_OPTIONS=($ISABELLE_BUILD_OPTIONS)"
 
-while getopts "abd:j:lo:stv" OPT
+while getopts "abd:j:no:stv" OPT
 do
   case "$OPT" in
     a)
       ALL_SESSIONS="true"
       ;;

       ;;
     j)
       check_number "$OPTARG"
       MAX_JOBS="$OPTARG"
       ;;
-    l)
-      LIST_ONLY="true"
+    n)
+      NO_BUILD="true"
       ;;
     o)
       BUILD_OPTIONS["${#BUILD_OPTIONS[@]}"]="$OPTARG"
       ;;
     s)

 ## main
 
 [ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; }
 
 exec "$ISABELLE_TOOL" java isabelle.Build \
-  "$ALL_SESSIONS" "$BUILD_IMAGES" "$MAX_JOBS" "$LIST_ONLY" "$SYSTEM_MODE" "$TIMING" \
+  "$ALL_SESSIONS" "$BUILD_IMAGES" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$TIMING" \
   "$VERBOSE" "${MORE_DIRS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@"