src/Tools/jEdit/lib/Tools/jedit
changeset 56664 8ff8e5d00115
parent 56585 a0e844c6e1ed
child 56764 5b6f4655e2f2
equal deleted inserted replaced
56663:2d09b437c168 56664:8ff8e5d00115
   310   rm -rf META-INF org
   310   rm -rf META-INF org
   311   cd ..
   311   cd ..
   312 
   312 
   313   cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed
   313   cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed
   314   (
   314   (
   315     #workaround for scalac 2.10.2
   315     #FIXME workaround for scalac 2.11.0
   316     function stty() { :; }
   316     function stty() { :; }
   317     export -f stty
   317     export -f stty
   318 
   318 
   319     for JAR in "$JEDIT_JAR" "${JEDIT_JARS[@]}" "$PURE_JAR" "$GRAPHVIEW_JAR"
   319     for JAR in "$JEDIT_JAR" "${JEDIT_JARS[@]}" "$PURE_JAR" "$GRAPHVIEW_JAR"
   320     do
   320     do