diff options
author | Roland McGrath <roland@gnu.org> | 1998-07-20 04:43:11 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1998-07-20 04:43:11 +0000 |
commit | e1e0d634011bc3d7a486c833507cea87c78a9d59 (patch) | |
tree | f4a3ec0b85c1390a933b223d844dfb8ed37324c2 /include | |
parent | 9783fbf0a93e32c51eb6905c9a668d3d4cc339db (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.
* Makeconf: Inhibit $(target).prof_d include if no_prof=t.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions