diff options
Diffstat (limited to 'src/glut/dos/PC_HW/pc_keyb.c')
| -rw-r--r-- | src/glut/dos/PC_HW/pc_keyb.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/glut/dos/PC_HW/pc_keyb.c b/src/glut/dos/PC_HW/pc_keyb.c index 6475be3508..ec509c2ace 100644 --- a/src/glut/dos/PC_HW/pc_keyb.c +++ b/src/glut/dos/PC_HW/pc_keyb.c @@ -420,8 +420,9 @@ int pc_readkey (void) if (keyboard_installed) {
int key;
- do {
- } while (key_buffer.start==key_buffer.end);
+ while (key_buffer.start==key_buffer.end) {
+ __dpmi_yield();
+ }
DISABLE();
key = key_buffer.key[key_buffer.start++];
|