| changeset 56664 | 8ff8e5d00115 |
| parent 53578 | 838d9e058a1a |
| 56663:2d09b437c168 | 56664:8ff8e5d00115 |
|---|---|
137 } |
137 } |
138 |
138 |
139 rm -rf classes && mkdir classes |
139 rm -rf classes && mkdir classes |
140 |
140 |
141 ( |
141 ( |
142 #workaround for scalac 2.10.2 |
142 #FIXME workaround for scalac 2.11.0 |
143 function stty() { :; } |
143 function stty() { :; } |
144 export -f stty |
144 export -f stty |
145 |
145 |
146 classpath "$PURE_JAR" |
146 classpath "$PURE_JAR" |
147 export CLASSPATH="$(jvmpath "$ISABELLE_CLASSPATH")" |
147 export CLASSPATH="$(jvmpath "$ISABELLE_CLASSPATH")" |