summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorEmil Renner Berthing <esmil@mailme.dk>2012-12-08 21:57:21 +0100
committerEmil Renner Berthing <esmil@mailme.dk>2012-12-11 11:22:49 +0100
commit9789e25f981eee1d166f628d12bdd6c57aea7db4 (patch)
tree56357e657f2bfe57de112c69ec237d520047b9fa /configure
parente70bb34313f783b545207494b0751e0ff5aa6578 (diff)
downloadlem-9789e25f981eee1d166f628d12bdd6c57aea7db4.tar.gz
lem-9789e25f981eee1d166f628d12bdd6c57aea7db4.tar.xz
lem-9789e25f981eee1d166f628d12bdd6c57aea7db4.zip
Makefile.in: make debug target
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure11
1 files changed, 0 insertions, 11 deletions
diff --git a/configure b/configure
index 53d8ac0..0c00fcf 100755
--- a/configure
+++ b/configure
@@ -704,7 +704,6 @@ SHELL'
ac_subst_files=''
ac_user_opts='
enable_option_checking
-with_debug
with_lua
with_lmoddir
with_cmoddir
@@ -1339,7 +1338,6 @@ if test -n "$ac_init_help"; then
Optional Packages:
--with-PACKAGE[=ARG] use PACKAGE [ARG=yes]
--without-PACKAGE do not use PACKAGE (same as --with-PACKAGE=no)
- --with-debug enable debugging output [default=no]
--with-lua check, builtin, lua or luajit [default=check]
--with-lmoddir Lua module installation directory
--with-cmoddir Lua C module installation directory
@@ -2168,15 +2166,6 @@ SHARED='-shared'
-# Check whether --with-debug was given.
-if test "${with_debug+set}" = set; then :
- withval=$with_debug;
-else
- CPPFLAGS="$CPPFLAGS -DNDEBUG"
-fi
-
-
-
# Check whether --with-lua was given.
if test "${with_lua+set}" = set; then :
withval=$with_lua; case "$with_lua" in #(