diff options
author | bde <bde@FreeBSD.org> | 1996-12-13 12:46:28 +0000 |
---|---|---|
committer | bde <bde@FreeBSD.org> | 1996-12-13 12:46:28 +0000 |
commit | be904e56d59e6070063e1e9193e57203632b448d (patch) | |
tree | be8ed8140e5d32127248bace4b1b1f022297a196 /usr.sbin/config/mkmakefile.c | |
parent | 70b4f8641ffc5741e665c1e5377f766559196b4a (diff) | |
download | FreeBSD-src-be904e56d59e6070063e1e9193e57203632b448d.zip FreeBSD-src-be904e56d59e6070063e1e9193e57203632b448d.tar.gz |
Moved nonstandard compiler profiling options out of config. Just print
the profiling level in config and decide what to do in makefiles.
Makefile.i386:
Align functions to 16-byte boundaries if profiling is enabled. This
will allow a fourfold reduction in the size of the profiling buffers.
Diffstat (limited to 'usr.sbin/config/mkmakefile.c')
-rw-r--r-- | usr.sbin/config/mkmakefile.c | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/usr.sbin/config/mkmakefile.c b/usr.sbin/config/mkmakefile.c index 0f057f4..7becfc8 100644 --- a/usr.sbin/config/mkmakefile.c +++ b/usr.sbin/config/mkmakefile.c @@ -157,10 +157,8 @@ makefile() } fprintf(ofp, "KERN_IDENT=%s\n", raise(ident)); fprintf(ofp, "IDENT="); - if (profiling >= 1) + if (profiling) fprintf(ofp, " -DGPROF"); - if (profiling >= 2) - fprintf(ofp, " -DGPROF4 -DGUPROF"); if (cputype == 0) { printf("cpu type must be specified\n"); @@ -204,10 +202,10 @@ makefile() fprintf(ofp, "%s=%s\n", op->op_name, op->op_value); if (debugging) fprintf(ofp, "DEBUG=-g\n"); - if (profiling >= 1) + if (profiling) { fprintf(ofp, "PROF=-pg\n"); - if (profiling >= 2) - fprintf(ofp, "PROF+=-mprofiler-epilogue\n"); + fprintf(ofp, "PROFLEVEL=%d\n", profiling); + } while (fgets(line, BUFSIZ, ifp) != 0) { if (*line != '%') { fprintf(ofp, "%s", line); |