diff options
| author | Dave Davenport <qball@gmpclient.org> | 2015-02-19 13:11:39 +0100 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2015-02-19 13:11:39 +0100 |
| commit | d9db18266c65d3a9e2e2fc71289949ec53e32f1c (patch) | |
| tree | ed3001ee5d5fe69df69be5ea651f8df66006dc50 /configure.ac | |
| parent | b143a8cd9431004ef66fb355bcc02196cccc3f94 (diff) | |
Remove unused TIMING.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/configure.ac b/configure.ac index a4c0602b..6e9dbbef 100644 --- a/configure.ac +++ b/configure.ac @@ -37,15 +37,6 @@ AC_ARG_ENABLE(gcov, [ --enable-gcov Enable source code coverage testing using gcov], [CFLAGS="$CFLAGS -fprofile-arcs -ftest-coverage"]) - -dnl -dnl Enable timing debug output. -dnl - -AC_ARG_ENABLE(timings, - [ --enable-timings Enable debug information about timings], - [CFLAGS="$CFLAGS -DTIMING"]) - ## # Check dependencies ## |