From 0edcd7cfd393950ee480b547c5f1acb4d2b39f8b Mon Sep 17 00:00:00 2001
From: Dave Davenport <qball@gmpclient.org>
Date: Tue, 29 Oct 2019 13:33:04 +0100
Subject: [PATCH] Remove deprecated option from configure.

---
 configure.ac | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/configure.ac b/configure.ac
index 4df3961f..349508a0 100644
--- a/configure.ac
+++ b/configure.ac
@@ -154,11 +154,6 @@ AC_OUTPUT
 
 echo ""
 echo "-------------------------------------"
-if test x$enable_timings = xyes; then
-echo "Timing output:               Enabled"
-else
-echo "Timing output:               Disabled"
-fi
 if test x$enable_drun != xno; then
 echo "Desktop File drun dialog     Enabled"
 else