diff options
Diffstat (limited to 'usr.bin/make/make.h')
| -rw-r--r-- | usr.bin/make/make.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/usr.bin/make/make.h b/usr.bin/make/make.h index 52d01db9f60da..91e2d3aed7e8a 100644 --- a/usr.bin/make/make.h +++ b/usr.bin/make/make.h @@ -36,7 +36,7 @@ * SUCH DAMAGE. * * from: @(#)make.h 8.3 (Berkeley) 6/13/95 - * $Id: make.h,v 1.7 1997/02/22 19:27:16 peter Exp $ + * $Id$ */ /*- @@ -294,7 +294,6 @@ extern Lst dirSearchPath; /* The list of directories to search when extern Boolean compatMake; /* True if we are make compatible */ extern Boolean ignoreErrors; /* True if should ignore all errors */ extern Boolean beSilent; /* True if should print no commands */ -extern Boolean beVerbose; /* True if should print extra cruft */ extern Boolean noExecute; /* True if should execute nothing */ extern Boolean allPrecious; /* True if every target is precious */ extern Boolean keepgoing; /* True if should continue on unaffected |