src/Tools/Graphview/lib/Tools/graphview
changeset 53578 838d9e058a1a
parent 53577 d033bc00b762
child 56664 8ff8e5d00115
equal deleted inserted replaced
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")"