changeset 79561 | 4838fcbd019b |
parent 79556 | 0631dfc0db07 |
79560:5c2c8a60b77e | 79561:4838fcbd019b |
---|---|
14 |
14 |
15 case "$ISABELLE_PLATFORM_FAMILY" in |
15 case "$ISABELLE_PLATFORM_FAMILY" in |
16 windows*) |
16 windows*) |
17 export TERM=dumb |
17 export TERM=dumb |
18 ;; |
18 ;; |
19 fi |
19 esac |
20 |
20 |
21 isabelle_scala scala $ISABELLE_SCALAC_OPTIONS "$@" |
21 isabelle_scala scala $ISABELLE_SCALAC_OPTIONS "$@" |