lib/Tools/build
changeset 52056 fc458f304f93
parent 51977 b55f90655328
child 52443 725916b7dee5
     1.1 --- a/lib/Tools/build	Fri May 17 18:50:55 2013 +0200
     1.2 +++ b/lib/Tools/build	Fri May 17 19:04:52 2013 +0200
     1.3 @@ -36,7 +36,7 @@
     1.4    echo "    -j INT       maximum number of parallel jobs (default 1)"
     1.5    echo "    -l           list session source files"
     1.6    echo "    -n           no build -- test dependencies only"
     1.7 -  echo "    -o OPTION    override session configuration OPTION (via NAME=VAL or NAME)"
     1.8 +  echo "    -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)"
     1.9    echo "    -s           system build mode: produce output in ISABELLE_HOME"
    1.10    echo "    -v           verbose"
    1.11    echo