diff options
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -872,7 +872,7 @@ else # if test -z "$_target" fi fi -extra_cflags="-I. $extra_cflags" +extra_cflags="-I. -D_GNU_SOURCE $extra_cflags" _timer=timer-linux.c _getch=getch2.c |