diff options
Diffstat (limited to 'pkgs/os-specific/linux/minimal-bootstrap/bash/mksignames-flush.patch')
| -rw-r--r-- | pkgs/os-specific/linux/minimal-bootstrap/bash/mksignames-flush.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/pkgs/os-specific/linux/minimal-bootstrap/bash/mksignames-flush.patch b/pkgs/os-specific/linux/minimal-bootstrap/bash/mksignames-flush.patch new file mode 100644 index 00000000000..6e64dfa7fa3 --- /dev/null +++ b/pkgs/os-specific/linux/minimal-bootstrap/bash/mksignames-flush.patch @@ -0,0 +1,10 @@ +--- a/support/mksignames.c ++++ b/support/mksignames.c +@@ -68,6 +68,7 @@ write_signames (stream) + fprintf (stream, "};\n\n"); + fprintf (stream, "#define initialize_signames()\n\n"); + #endif ++ fflush(stream); + } + + int |