diff options
| author | des <des@FreeBSD.org> | 2003-02-23 12:39:25 +0000 |
|---|---|---|
| committer | des <des@FreeBSD.org> | 2003-02-23 12:39:25 +0000 |
| commit | dd9279b8ca53ff027425bfa8e1522d51ab1ae218 (patch) | |
| tree | 5c103d5e5d9a7501b040bd5cbe9f14f0ebeb6080 /tools | |
| parent | 7c7c0297c55825a547b2fcf5a2b2605bef3becac (diff) | |
| download | FreeBSD-src-dd9279b8ca53ff027425bfa8e1522d51ab1ae218.zip FreeBSD-src-dd9279b8ca53ff027425bfa8e1522d51ab1ae218.tar.gz | |
Don't try to build LINT if there is no NOTES file.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/tools/tinderbox/tinderbox.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/tools/tinderbox/tinderbox.pl b/tools/tools/tinderbox/tinderbox.pl index bea8d3a..fbcebfc 100644 --- a/tools/tools/tinderbox/tinderbox.pl +++ b/tools/tools/tinderbox/tinderbox.pl @@ -419,6 +419,10 @@ MAIN:{ } # Build LINT if requested + if ($cmds{'lint'} && ! -f "$sandbox/src/sys/$machine/conf/NOTES") { + logstage("no NOTES, skipping lint kernel"); + $cmds{'lint'} = 0; + } if ($cmds{'lint'}) { logstage("building lint kernel"); cd("$sandbox/src/sys/$machine/conf"); |
