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 | 9763c693eac4c288ee508aff493ff98cd7cdb6fe (patch) | |
| tree | 315d3a6f99093886a835be4c13ef1097f0ca0e2f /serverboot/exec.c | |
| parent | 1a6f43dec4834aad6e3ed41dc52a912c8ff87e95 (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 'serverboot/exec.c')
0 files changed, 0 insertions, 0 deletions