diff options
Diffstat (limited to 'debian/patches/random-fixes0002-libdiskfs-fflush-stdout-when-pausing.patch')
| -rw-r--r-- | debian/patches/random-fixes0002-libdiskfs-fflush-stdout-when-pausing.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/debian/patches/random-fixes0002-libdiskfs-fflush-stdout-when-pausing.patch b/debian/patches/random-fixes0002-libdiskfs-fflush-stdout-when-pausing.patch new file mode 100644 index 00000000..623c38c0 --- /dev/null +++ b/debian/patches/random-fixes0002-libdiskfs-fflush-stdout-when-pausing.patch @@ -0,0 +1,25 @@ +From 9e8cb4acfd8971f691b35657e1f63a903f638996 Mon Sep 17 00:00:00 2001 +From: Justus Winter <4winter@informatik.uni-hamburg.de> +Date: Sun, 27 Sep 2015 16:20:50 +0200 +Subject: [PATCH hurd 2/5] libdiskfs: fflush stdout when pausing + +* libdiskfs/boot-start.c (start_execserver): fflush stdout when pausing. +--- + libdiskfs/boot-start.c | 1 + + 1 file changed, 1 insertion(+) + +diff --git a/libdiskfs/boot-start.c b/libdiskfs/boot-start.c +index 6b829f2..809e2c0 100644 +--- a/libdiskfs/boot-start.c ++++ b/libdiskfs/boot-start.c +@@ -645,6 +645,7 @@ start_execserver (void) + if (_diskfs_boot_pause) + { + printf ("pausing for exec\n"); ++ fflush (stdout); + getc (stdin); + } + err = task_resume (diskfs_exec_server_task); +-- +2.1.4 + |