changeset 25183 | 261d6791952c |
parent 23137 | ae4110f7f88f |
child 26209 | 79c8d7277f33 |
25182:64e3f45dc6f4 | 25183:261d6791952c |
---|---|
11 |
11 |
12 TAR=tar |
12 TAR=tar |
13 type -path gtar >/dev/null && TAR=gtar |
13 type -path gtar >/dev/null && TAR=gtar |
14 |
14 |
15 export THIS_IS_ISABELLE_BUILD=true |
15 export THIS_IS_ISABELLE_BUILD=true |
16 export THIS_IS_ISABELLE_MAKEBIN=true |
|
16 |
17 |
17 |
18 |
18 ## diagnostics |
19 ## diagnostics |
19 |
20 |
20 PRG=$(basename "$0") |
21 PRG=$(basename "$0") |