equal
deleted
inserted
replaced
14 echo "Usage: isabelle $PRG [OPTIONS]" |
14 echo "Usage: isabelle $PRG [OPTIONS]" |
15 echo |
15 echo |
16 echo " Options are:" |
16 echo " Options are:" |
17 echo " -f force fresh build" |
17 echo " -f force fresh build" |
18 echo " -q quiet mode: suppress stdout/stderr" |
18 echo " -q quiet mode: suppress stdout/stderr" |
|
19 echo |
|
20 echo " Build Isabelle/Scala/Java modules of all registered components" |
|
21 echo " (if required)." |
19 echo |
22 echo |
20 exit 1 |
23 exit 1 |
21 } |
24 } |
22 |
25 |
23 |
26 |