diff options
Diffstat (limited to 'usr.sbin/config')
-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); |