configure: add missing unknown platform

This prevents unnecessary automatic failures on *BSD Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
owlbarn · Jun 2, 2022 · 5e1ce59 · 5e1ce59
1 parent 2eebbc0
commit 5e1ce59
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/eigen/configure/configure.ml b/eigen/configure/configure.ml
@@ -22,6 +22,8 @@ let detect_system_header =
     #endif
   #elif WIN32
     #define PLATFORM_NAME "windows"
+  #else
+    #define PLATFORM_NAME "unknown"
   #endif
 |}
 

diff --git a/eigen_cpp/configure/configure.ml b/eigen_cpp/configure/configure.ml
@@ -22,6 +22,8 @@ let detect_system_header =
     #endif
   #elif WIN32
     #define PLATFORM_NAME "windows"
+  #else
+    #define PLATFORM_NAME "unknown"
   #endif
 |}
-Original file line number
+Diff line change
@@ Expand Up / @@ -22,6 +22,8 @@ let detect_system_header = @@
         #endif
       #elif WIN32
         #define PLATFORM_NAME "windows"
+      #else
+        #define PLATFORM_NAME "unknown"
       #endif
     |}
@@ Expand Down @@