From d36959942eb04366173b4abe029555f11fc9be5d Mon Sep 17 00:00:00 2001 From: Eric Froemling Date: Sun, 6 Oct 2019 10:09:48 -0700 Subject: [PATCH] more CI testing --- tools/update_project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/update_project b/tools/update_project index b03413af..5a7e8006 100755 --- a/tools/update_project +++ b/tools/update_project @@ -345,7 +345,7 @@ def main() -> None: outfile.write('\n'.join(lines) + '\n') print(CLRBLU + 'Writing header: ' + filename + CLREND) else: - print(f'All {len(header_files)} headers up to date.') + print(f'No issues found in {len(header_files)} headers.') # Now write out any project files that have changed # (or error if we're in check mode).