view src/readline-1-input.patch @ 3589:780be3cf5995

gcc-*: pcre=8.35, cloog=0.18.1, gmp=6.0.0, isl=0.12.2 * src/cloog.mk: update version 0.18.1. * src/gmp.mk: update version 6.0.0. * src/isl.mk: update version 0.12.2. * src/isl-1-fixes.patch: update patch for -no-undefined
author John Donoghue
date Fri, 25 Apr 2014 14:44:56 -0400
parents 2cf09b449d88
children
line wrap: on
line source

diff -uNr a/input.c b/input.c
--- a/input.c	2010-05-30 18:33:01.000000000 -0400
+++ b/input.c	2013-04-17 23:50:34.759675631 -0400
@@ -466,7 +466,12 @@
 
 #if defined (__MINGW32__)
       if (isatty (fileno (stream)))
-	return (getch ());
+        {
+          int c = _getch ();
+          if (c == 0xe0)
+            rl_execute_next (_getch ());
+          return (c);
+        }
 #endif
       result = read (fileno (stream), &c, sizeof (unsigned char));