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/Driveraux.ml | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'driver/Driveraux.ml')

diff --git a/driver/Driveraux.ml b/driver/Driveraux.ml
index d25301d2..2c478fb1 100644
--- a/driver/Driveraux.ml
+++ b/driver/Driveraux.ml
@@ -14,9 +14,6 @@
 open Printf
 open Clflags
 
-(* Is this a gnu based tool chain *)
-let gnu_system = Configuration.system <> "diab"
-
 (* Safe removal of files *)
 let safe_remove file =
   try Sys.remove file with Sys_error _ -> ()
-- 
cgit