diff options
Diffstat (limited to 'kernel/check_mar.pl')
| -rwxr-xr-x | kernel/check_mar.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/check_mar.pl b/kernel/check_mar.pl index 556a0e442..a26795a13 100755 --- a/kernel/check_mar.pl +++ b/kernel/check_mar.pl @@ -26,5 +26,5 @@ foreach (keys %sanity_check) { my @l = map { /(\S+)\.o/ } `$mar -l $marfile`; my @pbs = difference2($sanity_check{$_}, \@l); - @pbs and die "ERROR: sanity check should prove that " . join(" ", @pbs) . "be part of $marfile\n"; + @pbs and die "ERROR: sanity check should prove that " . join(" ", @pbs) . " be part of $marfile\n"; } |