# HG changeset patch
# User wenzelm
# Date 1265571865 -3600
# Node ID 0faeabd99289981d65e43881208ba7c4d963e9bb
# Parent  16f9877abf0bf13536d7cee1d0deb7091e537091
removed paranoia setting of signal handler -- appears to be no longer necessary (thanks to Cygwin 1.7?);

diff -r 16f9877abf0b -r 0faeabd99289 lib/scripts/bash
--- a/lib/scripts/bash	Sun Feb 07 20:21:38 2010 +0100
+++ b/lib/scripts/bash	Sun Feb 07 20:44:25 2010 +0100
@@ -28,5 +28,4 @@
 
 # exec script
 
-$SIG{'INT'} = "DEFAULT";   #paranoia setting, required for Cygwin
 exec qq/exec bash '$script_name' > '$output_name'/;