From 5e1ce595a4d103a230ec84fe7dca34d1962bb870 Mon Sep 17 00:00:00 2001 From: Marcello Seri Date: Thu, 2 Jun 2022 09:08:51 +0200 Subject: [PATCH] configure: add missing unknown platform This prevents unnecessary automatic failures on *BSD Signed-off-by: Marcello Seri --- eigen/configure/configure.ml | 2 ++ eigen_cpp/configure/configure.ml | 2 ++ 2 files changed, 4 insertions(+) diff --git a/eigen/configure/configure.ml b/eigen/configure/configure.ml index 94bbb91..c5c2481 100644 --- 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 index a8b6f67..3fd0840 100644 --- 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 |}