diff --git a/configure b/configure
index e4eabb14f8..548c16ad66 100755
--- a/configure
+++ b/configure
@@ -2217,7 +2217,8 @@ case $target_os in
         ;;
     gnu)
         ;;
-
+    none)
+        ;;
     *)
         die "Unknown OS '$target_os'."
         ;;