| changeset 53578 | 838d9e058a1a |
| parent 53577 | d033bc00b762 |
| child 56664 | 8ff8e5d00115 |
| 53577:d033bc00b762 | 53578:838d9e058a1a |
|---|---|
137 } |
137 } |
138 |
138 |
139 rm -rf classes && mkdir classes |
139 rm -rf classes && mkdir classes |
140 |
140 |
141 ( |
141 ( |
142 #workaround for scalac |
142 #workaround for scalac 2.10.2 |
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")" |