From d53cc13b6e47843ebaf4b23c8b03dcef34f331f1 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 13 Apr 2021 15:04:34 +0200
Subject: Adding distinction between kvx-cos and kvx-mbr (for trapping loads)

---
 configure | 1 +
 1 file changed, 1 insertion(+)

(limited to 'configure')

diff --git a/configure b/configure
index 812ad6f7..e8ebb6f8 100755
--- a/configure
+++ b/configure
@@ -710,6 +710,7 @@ HAS_STANDARD_HEADERS=$has_standard_headers
 INSTALL_COQDEV=$install_coqdev
 LIBMATH=$libmath
 MODEL=$model
+OS=${os:-unspecified}
 SYSTEM=$system
 RESPONSEFILE=$responsefile
 LIBRARY_FLOCQ=$library_Flocq
-- 
cgit