From 5c0c02e51a76183eb43b5ed80d925f3c2ce88dfb Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 13 Feb 2017 15:39:07 +0100
Subject: Introduced configuration variable for gnu systems.

The variable gnu_toolchain is true if a gnu toolchain is used and
false in all other cases. The variable avoids the explicit test
whether the system string is diab and should be easier to change.
Bug 20521.
---
 driver/Configuration.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'driver/Configuration.mli')

diff --git a/driver/Configuration.mli b/driver/Configuration.mli
index 197e8ad2..f0bb8f83 100644
--- a/driver/Configuration.mli
+++ b/driver/Configuration.mli
@@ -74,3 +74,6 @@ type response_file_style =
 
 val response_file_style: response_file_style
   (** Style of supported responsefiles *)
+
+val gnu_toolchain: bool
+  (** Does the targeted system use the gnu toolchain *)
-- 
cgit