3 commits

Author	SHA1	Message	Date
Marius Vikhammer	1531f2db2a	ci: fix check_public_headers.py failure with python3 due to non ascii chars ... check_public_headers.py would fail when reading non-ascii chars on systems where the default encoding was ascii. Also fixes error handling issues, as any uncaught exeception would cause the program to run indefinitely.	2020-06-15 15:20:43 +08:00
David Cermak	ce0c70770d	ci: public header check to display error messages if verbose is off ... Also added a command line option to reduce the analysis to a specific directory only. This is useful for local execution for checking updated headers with verbose flag set.	2020-04-09 07:44:55 +02:00
David Cermak	8f6645667e	CI: public header check script in python ... Additional test compiling the header to produce assembly: - checks if header really compiles (previously validated only by preprocessor) - checks that the header produced empty object, no inline code to be present in public headers Closes IDF-1324	2020-03-13 12:53:52 +01:00