diff options
author | Dave Davenport <qball@gmpclient.org> | 2019-10-29 13:33:04 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2019-10-29 13:33:04 +0100 |
commit | 0edcd7cfd393950ee480b547c5f1acb4d2b39f8b (patch) | |
tree | b7ea4e642171defde02b72267815cea5e36852e4 | |
parent | aeecf34c279bbbf035f6d7be179d37936c5fe1a6 (diff) |
Remove deprecated option from configure.
-rw-r--r-- | configure.ac | 5 |
1 files changed, 0 insertions, 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 |