diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-08-22T19·32+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-22T19·32+0200 |
| commit | 1b01954a3de482a8c3cf0a4af8796505ebcf521b (patch) | |
| tree | 156984b87a442b2f375bbc55e5ac46a1f3e45fd8 /configure.ac | |
| parent | 954d1f4d0a35063ff431b258beebadf753cb9efe (diff) | |
| parent | 2894197de768bf5433595886d0248e77ffa3c693 (diff) | |
Merge pull request #2368 from dezgeg/drop-dead-code
Drop dead code
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/configure.ac b/configure.ac index 6aeeacdba13d..cc354f6f3028 100644 --- a/configure.ac +++ b/configure.ac @@ -229,12 +229,6 @@ if test "$gc" = yes; then fi -AC_ARG_ENABLE(init-state, AC_HELP_STRING([--disable-init-state], - [do not initialise DB etc. in `make install']), - init_state=$enableval, init_state=yes) -#AM_CONDITIONAL(INIT_STATE, test "$init_state" = "yes") - - # documentation generation switch AC_ARG_ENABLE(doc-gen, AC_HELP_STRING([--disable-doc-gen], [disable documentation generation]), |