diff options
author | Dave Davenport <qball@gmpclient.org> | 2016-08-29 08:46:21 +0200 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2016-08-29 08:46:21 +0200 |
commit | a90ff4803252d2ec43f322281771f4b90fa25b44 (patch) | |
tree | 891247c06e11f167551b7da4199d6db916d1f609 /configure.ac | |
parent | 58eaa81520bab741f8009063b200dd640c3b57e5 (diff) |
But broken drun under a configure option.
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 006d0f45..e0076887 100644 --- a/configure.ac +++ b/configure.ac @@ -52,6 +52,11 @@ AC_ARG_ENABLE(gcov, AC_ARG_ENABLE(asan, [ --enable-asan asan], [AM_CFLAGS="${AM_CFLAGS} -fsanitize=address -fno-omit-frame-pointer -g3"]) + + +AC_ARG_ENABLE(broken-drun, + [ --enable-broken-drun drun], + [AM_CFLAGS="${AM_CFLAGS} -DBROKEN_DRUN"]) dnl --------------------------------------------------------------------- dnl Disable window mode dnl --------------------------------------------------------------------- |