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

diff -r 913df2adc99c -r 22630327408b Admin/build
--- a/Admin/build	Sat Sep 07 00:02:19 2013 +0200
+++ b/Admin/build	Sat Sep 07 11:02:27 2013 +0200
@@ -74,6 +74,10 @@
 
 ## main
 
+#workaround for scalac
+function stty() { :; }
+export -f stty
+
 for MODULE in $MODULES
 do
   case $MODULE in