From dd9279b8ca53ff027425bfa8e1522d51ab1ae218 Mon Sep 17 00:00:00 2001
From: des <des@FreeBSD.org>
Date: Sun, 23 Feb 2003 12:39:25 +0000
Subject: Don't try to build LINT if there is no NOTES file.

---
 tools/tools/tinderbox/tinderbox.pl | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'tools')

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");
-- 
cgit v1.1