diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/tools/tinderbox/tbmaster.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/tools/tinderbox/tbmaster.pl b/tools/tools/tinderbox/tbmaster.pl index e5ffc80..86bbf36 100644 --- a/tools/tools/tinderbox/tbmaster.pl +++ b/tools/tools/tinderbox/tbmaster.pl @@ -245,7 +245,7 @@ sub tinderbox($$$) { @lines = (); next; } - if (/\bStop\b/) { + if (/^Stop in /) { $error = 1; } if (@lines > 10 && !$error) { |