| changeset 62592 | 4832491d1376 |
| parent 62589 | b5783412bfed |
| 62591:98122e719d19 | 62592:4832491d1376 |
|---|---|
17 |
17 |
18 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)" |
18 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)" |
19 |
19 |
20 mkdir -p "$ISABELLE_TMP_PREFIX" || exit $? |
20 mkdir -p "$ISABELLE_TMP_PREFIX" || exit $? |
21 |
21 |
22 isabelle java isabelle.ML_Process "$@" |
22 exec isabelle java isabelle.ML_Process "$@" |