From 19fa0c2c0e91f770bbca72ed0c2a57539b7a9120 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Thu, 1 Sep 2016 17:32:40 +0000
Subject: [PATCH] disable timings (they use "ftime", which is obsolete)

---
 contrib/taucs/config/taucs_config_build.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/contrib/taucs/config/taucs_config_build.h b/contrib/taucs/config/taucs_config_build.h
index 5972a2c92c..8a85ec97d5 100644
--- a/contrib/taucs/config/taucs_config_build.h
+++ b/contrib/taucs/config/taucs_config_build.h
@@ -3,7 +3,6 @@
 #define TAUCS_CONFIG_DCOMPLEX
 #define TAUCS_CONFIG_SCOMPLEX
 #define TAUCS_CONFIG_GENERIC_COMPLEX
-#define TAUCS_CONFIG_TIMING
 #define TAUCS_CONFIG_BASE
 #define TAUCS_CONFIG_MATRIX_IO
 #define TAUCS_CONFIG_METIS
@@ -28,4 +27,3 @@
 #define TAUCS_CONFIG_TEST_ITER
 #define TAUCS_CONFIG_MATRIX_GENERATORS
 #define TAUCS_CONFIG_MALLOC_STUBS
-
-- 
GitLab