changeset 26211 | ffd91f7a78a2 |
parent 18321 | 3414557c2dda |
child 28500 | 4b79e5d3d0aa |
1.1 --- a/build Thu Mar 06 19:21:20 2008 +0100 1.2 +++ b/build Thu Mar 06 19:21:22 2008 +0100 1.3 @@ -18,13 +18,14 @@ 1.4 1.5 ## settings 1.6 1.7 -export THIS_IS_ISABELLE_BUILD=true 1.8 - 1.9 PRG="$(basename "$0")" 1.10 1.11 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)" 1.12 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 1.13 1.14 +ISABELLE_OUTPUT="$ISABELLE_HOME/heaps/$ML_IDENTIFIER" 1.15 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info" 1.16 + 1.17 1.18 ## diagnostics 1.19