diff options
author | Roland McGrath <roland@gnu.org> | 1998-07-20 04:55:13 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1998-07-20 04:55:13 +0000 |
commit | 4c04d9f81ebbca644baf4ba88de3698fe30bd854 (patch) | |
tree | 0df3e19f26096ff0e44824ba48c8126650bed83e /configure.in | |
parent | 68902ce8e3c0d5b88b30783a1de2693b77e83b29 (diff) |
1998-07-20 Roland McGrath <roland@baalperazim.frob.com>
* configure.in: Grok --{en,dis}able-profile, default enable.
* config.make.in (build-profiled): New variable, from @enable_profile@.
* Makeconf (no_prof): Set to t if $(build-profiled) is not no.
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/configure.in b/configure.in index ff28fde5..1dad5b58 100644 --- a/configure.in +++ b/configure.in @@ -1,5 +1,5 @@ dnl Process this file with autoconf to produce a configure script. -AC_REVISION([$Id: configure.in,v 1.12 1998/04/23 00:52:19 tb Exp $]) +AC_REVISION([$Id: configure.in,v 1.13 1998/07/20 04:55:13 roland Exp $]) AC_PREREQ(2.4) dnl Minimum Autoconf version required. AC_INIT(hurd/hurd_types.h) dnl A distinctive file to look for in srcdir. @@ -19,6 +19,11 @@ i[[3456]]86) esac AC_SUBST(asm_syntax) +AC_ARG_ENABLE(profile, +[ --disable-profile do not build profiled libraries and programs],, + enable_profile=yes) +AC_SUBST(enable_profile) + AC_PROG_INSTALL AC_CHECK_TOOL(CC, gcc) |