pike.git/ src/ configure.in

2007-05-20

2007-05-20 14:54:41 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• 0beebd2037d158b4815742d06c469d8662e097ef (18 lines) (+10/-8) ^{[ Show | Annotate ]}
  Branch: 7.9

Restored cleanup on exit for valgrind.
Use --without-cleanup-on-exit if you don't want it.

Rev: src/configure.in:1.1014

1: - AC_REVISION("$Id: configure.in,v 1.1013 2007/05/19 20:31:49 per Exp $") + AC_REVISION("$Id: configure.in,v 1.1014 2007/05/20 14:54:41 grubba Exp $")   AC_INIT(interpret.c)   AC_CONFIG_HEADER(machine.h)   
1450:    [disable support for the Mysql database]),    [],[with_mysql=yes])   AC_ARG_WITH(valgrind, MY_DESCR([--with-valgrind=path], -  [Support for running with valgrind. Implies --with-cleanup-on-exit.]), [ +  [Support for running with valgrind. Implies --with-cleanup-on-exit. +  Specify --without-cleanup-on-exit if you do not want this.]), [    if test "x$with_valgrind" = "xyes"; then    AC_PATH_PROG(with_valgrind, valgrind, no)    if test "x$with_valgrind" = "xno"; then
1621:    VALGRINDARGS="-q --tool=memcheck"    AC_DEFINE(USE_VALGRIND)    - # if test "x$with_cleanup_on_exit" = "x"; then - # AC_DEFINE(DO_PIKE_CLEANUP) - # fi +  if test "x$with_cleanup_on_exit" = "x"; then +  AC_DEFINE(DO_PIKE_CLEANUP) +  fi       if test "x$with_copt" != "xno"; then    PIKE_MSG_WARN([--without-copt is advisable when using valgrind!])
2307:    # MinGW system.    cat <<\EOF   #!/bin/sh - # Automatically generated by $Id: configure.in,v 1.1013 2007/05/19 20:31:49 per Exp $. + # Automatically generated by $Id: configure.in,v 1.1014 2007/05/20 14:54:41 grubba Exp $.   # MinGW-version. Do NOT edit.   posix_name="`cat`"   posix_prefix="/"
2345:    # Native POSIX system.    cat <<\EOF   #!/bin/sh - # Automatically generated by $Id: configure.in,v 1.1013 2007/05/19 20:31:49 per Exp $. + # Automatically generated by $Id: configure.in,v 1.1014 2007/05/20 14:54:41 grubba Exp $.   # POSIX-version. Do NOT edit.   cat   EOF
2354:    # rntcl-style    cat <<\EOF   #!/bin/sh - # Automatically generated by $Id: configure.in,v 1.1013 2007/05/19 20:31:49 per Exp $. + # Automatically generated by $Id: configure.in,v 1.1014 2007/05/20 14:54:41 grubba Exp $.   # RNTCL-version. Do NOT edit.   sed -e "$PIKE_PATH_TRANSLATE"   EOF