# HG changeset patch
# User wenzelm
# Date 1378546110 -7200
# Node ID fb74a9cb699cb9f7b7a2d3cab33b11f9651976e1
# Parent  22630327408b4c4412761f738ee5b3ff9e25dcc4
odd workaround for scalac to enable nohup;

diff -r 22630327408b -r fb74a9cb699c src/Tools/Graphview/lib/Tools/graphview
--- a/src/Tools/Graphview/lib/Tools/graphview	Sat Sep 07 11:02:27 2013 +0200
+++ b/src/Tools/Graphview/lib/Tools/graphview	Sat Sep 07 11:28:30 2013 +0200
@@ -139,6 +139,10 @@
   rm -rf classes && mkdir classes
 
   (
+    #workaround for scalac
+    function stty() { :; }
+    export -f stty
+
     CLASSPATH="$CLASSPATH:$PURE_JAR"
     CLASSPATH="$(jvmpath "$CLASSPATH")"
     exec "$SCALA_HOME/bin/scalac" $ISABELLE_SCALA_BUILD_OPTIONS -d classes "${SOURCES[@]}"
diff -r 22630327408b -r fb74a9cb699c src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Sat Sep 07 11:02:27 2013 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Sat Sep 07 11:28:30 2013 +0200
@@ -293,6 +293,10 @@
 
   cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed
   (
+    #workaround for scalac
+    function stty() { :; }
+    export -f stty
+
     for JAR in "$JEDIT_JAR" "${JEDIT_JARS[@]}" "${JFREECHART_JARS[@]}" \
       "$XZ_JAVA_HOME/lib/xz.jar" "$PURE_JAR" "$GRAPHVIEW_JAR" "$SCALA_HOME/lib/scala-compiler.jar"
     do