b92f7d
diff -up bash-4.1/config-top.h.broken_pipe bash-4.1/config-top.h
b92f7d
--- bash-4.1/config-top.h.broken_pipe	2011-01-06 18:01:30.000000000 +0100
b92f7d
+++ bash-4.1/config-top.h	2011-01-06 18:02:14.000000000 +0100
b92f7d
@@ -51,7 +51,7 @@
b92f7d
 /* Define DONT_REPORT_BROKEN_PIPE_WRITE_ERRORS if you don't want builtins
b92f7d
    like `echo' and `printf' to report errors when output does not succeed
b92f7d
    due to EPIPE. */
b92f7d
-/* #define DONT_REPORT_BROKEN_PIPE_WRITE_ERRORS */
b92f7d
+#define DONT_REPORT_BROKEN_PIPE_WRITE_ERRORS
b92f7d
 
b92f7d
 /* The default value of the PATH variable. */
b92f7d
 #ifndef DEFAULT_PATH_VALUE