1 files changed, 4 insertions, 0 deletions
diff --git a/configure b/configure
index 6b4faf6e76..b9fc32bee2 100755
--- a/configure
+++ b/configure
@@ -1897,6 +1897,10 @@ else
   echo "CONFIG_POSIX=y" >> $config_host_mak
 fi
 
+if test "$linux" = "yes" ; then
+  echo "CONFIG_LINUX=y" >> $config_host_mak
+fi
+
 if test "$darwin" = "yes" ; then
   echo "CONFIG_DARWIN=y" >> $config_host_mak
 fi