diff options
| author | eivind <eivind@FreeBSD.org> | 1998-02-09 23:59:51 +0000 |
|---|---|---|
| committer | eivind <eivind@FreeBSD.org> | 1998-02-09 23:59:51 +0000 |
| commit | 466933731d5803b3c50227d1c2ddf236603fc7eb (patch) | |
| tree | a7a0d07d7c930a0791f27aaa3e644489fb94b699 /usr.sbin/config/mkmakefile.c | |
| parent | 69d1ac34b801b456d8443b1dd42e03748a9adea4 (diff) | |
| download | FreeBSD-src-466933731d5803b3c50227d1c2ddf236603fc7eb.zip FreeBSD-src-466933731d5803b3c50227d1c2ddf236603fc7eb.tar.gz | |
All our options are new-style now - enable the warning if unrecognized
(that is, old-style) options are found.
Diffstat (limited to 'usr.sbin/config/mkmakefile.c')
| -rw-r--r-- | usr.sbin/config/mkmakefile.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/usr.sbin/config/mkmakefile.c b/usr.sbin/config/mkmakefile.c index 93674d2..158906b 100644 --- a/usr.sbin/config/mkmakefile.c +++ b/usr.sbin/config/mkmakefile.c @@ -36,7 +36,7 @@ static char sccsid[] = "@(#)mkmakefile.c 8.1 (Berkeley) 6/6/93"; #endif static const char rcsid[] = - "$Id: mkmakefile.c,v 1.23 1997/10/22 00:38:48 peter Exp $"; + "$Id: mkmakefile.c,v 1.24 1997/10/28 07:21:04 joerg Exp $"; #endif /* not lint */ /* @@ -259,7 +259,6 @@ makefile() (void) fclose(ifp); (void) fclose(ofp); moveifchanged(path("Makefile.new"), path("Makefile")); -#ifdef notyet if (warn_make_clean) { printf("WARNING: Unknown options used (not in ../../conf/options or ./options.%s).\n", machinename); if (old_config_present) { @@ -267,7 +266,6 @@ makefile() } } printf("Don't forget to do a ``make depend''\n"); -#endif } /* |
