diff options
| author | Roland McGrath <roland@gnu.org> | 1998-07-20 04:43:56 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1998-07-20 04:43:56 +0000 |
| commit | b1f7698d7c816e8d798662085005236c9d184386 (patch) | |
| tree | 5d9e1b50083801bf43cfbea1d749bce3f0722926 /config.make.in | |
| parent | e1e0d634011bc3d7a486c833507cea87c78a9d59 (diff) | |
1998-07-20 Roland McGrath <roland@baalperazim.frob.com>
* config.make.in (build-profiled): New variable, subst @profile@.
* Makeconf (no_prof): Set to t if $(build-profiled) is not no.
Diffstat (limited to 'config.make.in')
| -rw-r--r-- | config.make.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/config.make.in b/config.make.in index 0f3d0b66..da1e571d 100644 --- a/config.make.in +++ b/config.make.in @@ -4,6 +4,9 @@ machine = @host_cpu@ asm_syntax = @asm_syntax@ +# Build options. +build-profiled = @enable_profile@ + # Prefix prepended to names of machine-independent installed files. prefix = @prefix@ # Prefix prepended to names of machine-dependent installed files. @@ -37,7 +40,7 @@ RANLIB = @RANLIB@ MIG = @MIG@ MIGCOM = $(MIG) -cc cat - /dev/null -# Compilation flags. Append these to the definitions already made by +# Compilation flags. Append these to the definitions already made by # the specific Makefile. CPPFLAGS += @CPPFLAGS@ @DEFS@ CFLAGS += @CFLAGS@ |