diff options
Diffstat (limited to 'debian/patches/pgrp-pipe.diff')
| -rw-r--r-- | debian/patches/pgrp-pipe.diff | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/debian/patches/pgrp-pipe.diff b/debian/patches/pgrp-pipe.diff new file mode 100644 index 0000000..ccc9bb3 --- /dev/null +++ b/debian/patches/pgrp-pipe.diff @@ -0,0 +1,11 @@ +# DP: Define PGRP_PIPE to avoid race condition. + +--- a/config-bot.h ++++ b/config-bot.h +@@ -197,3 +197,6 @@ + + /* If you don't want bash to provide a default mail file to check. */ + #undef DEFAULT_MAIL_DIRECTORY ++ ++/* Bug #224543 */ ++#define PGRP_PIPE 1 |