unbreak "make dos" in boot (Bug#365, patch by Antoine Leca)

diff --git a/boot/doshead.s b/boot/doshead.s
index 86f5621e43788da3eaef0385a72c09a15f813f09..8cd8057865f46513f93161a653465a4d7ec24b13 100644 (file)
--- a/boot/doshead.s
+++ b/boot/doshead.s
@@ -1277,6 +1277,17 @@ _int15:
        pop     si              ! Restore
        ret
 
+! void scan_keyboard(void)
+!      Read keyboard character. Needs to be done in case one is waiting.
+.define _scan_keyboard
+_scan_keyboard:
+       movb    ah, 1           ! Check keyboard
+       int     0x16
+       jz      no_key
+       movb    ah, 0           ! Empty it
+       int     0x16
+no_key:        ret
+
 .sect  .rom
        .align  4
 c60:   .data2  60              ! Constants for MUL and DIV