-Index: bash-4.2/execute_cmd.c
-===================================================================
---- bash-4.2.orig/execute_cmd.c 2011-07-04 11:16:23.000000000 +0200
-+++ bash-4.2/execute_cmd.c 2011-07-04 11:17:33.000000000 +0200
-@@ -2202,7 +2202,11 @@
+--- a/execute_cmd.c
++++ b/execute_cmd.c
+@@ -2202,7 +2202,11 @@ execute_pipeline (command, asynchronous,
/* If the `lastpipe' option is set with shopt, and job control is not
enabled, execute the last element of non-async pipelines in the
current shell environment. */