1 files changed, 2 insertions, 1 deletions

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