changeset 2591 | ae16f162f973 |
parent 2395 | c24a79fe3651 |
child 2704 | afa01c9f1ab0 |
2590:363b2c37a1b9 | 2591:ae16f162f973 |
---|---|
7 |
7 |
8 ## settings |
8 ## settings |
9 |
9 |
10 ISABELLE_HOME=$(dirname $(dirname $0)) |
10 ISABELLE_HOME=$(dirname $(dirname $0)) |
11 . $ISABELLE_HOME/lib/scripts/getsettings || exit 2 |
11 . $ISABELLE_HOME/lib/scripts/getsettings || exit 2 |
12 . $ISABELLE_HOME/lib/scripts/getplatform |
|
13 |
12 |
14 |
13 |
15 ## diagnostics |
14 ## diagnostics |
16 |
15 |
17 PRG=$(basename $0) |
16 PRG=$(basename $0) |