# HG changeset patch
# User cehoyos
# Date 1362933223 0
# Node ID 310c8995c0d0d7263d0bc8822135cf79f69654bb
# Parent  2f68de22fba654735f2774650d07b0d931e4c265
Prefer stdint.h over inttypes.h if both work.

diff -r 2f68de22fba6 -r 310c8995c0d0 osdep/getch2.c
--- a/osdep/getch2.c	Sun Mar 10 16:17:32 2013 +0000
+++ b/osdep/getch2.c	Sun Mar 10 16:33:43 2013 +0000
@@ -34,7 +34,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include <inttypes.h>
+#include <stdint.h>
 #include <sys/time.h>
 #include <sys/types.h>
 #ifdef CONFIG_IOCTL