lib/Tools/build
changeset 48570 0c32d6267b93
parent 48546 f81cf2fcd3a0
child 48578 21361b6189a6
     1.1 --- a/lib/Tools/build	Fri Jul 27 22:28:30 2012 +0200
     1.2 +++ b/lib/Tools/build	Fri Jul 27 23:14:55 2012 +0200
     1.3 @@ -26,10 +26,10 @@
     1.4    echo "Usage: isabelle $PRG [OPTIONS] [SESSIONS ...]"
     1.5    echo
     1.6    echo "  Options are:"
     1.7 -  echo "    -a           include all sessions"
     1.8 +  echo "    -a           select all sessions"
     1.9    echo "    -b           build heap images"
    1.10    echo "    -d DIR       include session directory with ROOT file"
    1.11 -  echo "    -g NAME      include session group NAME"
    1.12 +  echo "    -g NAME      select session group NAME"
    1.13    echo "    -j INT       maximum number of jobs (default 1)"
    1.14    echo "    -n           no build -- test dependencies only"
    1.15    echo "    -o OPTION    override session configuration OPTION (via NAME=VAL or NAME)"