diff options
-rwxr-xr-x | make/run-cc.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make/run-cc.pl b/make/run-cc.pl index e5f29ec7f..d637ba8c9 100755 --- a/make/run-cc.pl +++ b/make/run-cc.pl @@ -63,6 +63,7 @@ my @msgfilters = ( [ qr/^.* warning: / => sub { my ($msg) = @_; my $str = $location . "\e[33;1m$msg\e[0m\n"; + $showncmdline = 1; $location = ""; return $str; } ], |