diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/make_pretty.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/make_pretty.pl b/bin/make_pretty.pl index 26322a798d3..f3653a0040a 100755 --- a/bin/make_pretty.pl +++ b/bin/make_pretty.pl @@ -119,7 +119,7 @@ sub is_warning () # Look for warnings return 1 if (/warning/i - /info: /i + || /info: /i || /^make.*\*\*\*/); if (/^.*\.h: / |