summaryrefslogtreecommitdiff
path: root/configure.in
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>1998-07-20 04:55:13 +0000
committerRoland McGrath <roland@gnu.org>1998-07-20 04:55:13 +0000
commit4c04d9f81ebbca644baf4ba88de3698fe30bd854 (patch)
tree0df3e19f26096ff0e44824ba48c8126650bed83e /configure.in
parent68902ce8e3c0d5b88b30783a1de2693b77e83b29 (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.in7
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)