Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Add .inc as a header file type. #9715
This was brought up by a thread on one of the TF-M prs. They are integrating an existing project into Mbed OS, and the existing project uses
Currently, if you were to add a directory that only contained
Their build just so happens to work because the
I think this qualifies as a "fix" but let me know if I should change it.
Pull request type
0xc0170 left a comment •
I initially approved but rethink this
Do we want to support
If this approved, do we have this documented ? extensions supported and why inc is in there (what should be in the file, is it regular header file, is it special like only templates, or even some code file) .
Probably this will be the description for having .inc supported.
@0xc0170 than what do you suggest? patching an external imported code and replace all includes of
From a short googling I can see that it is a valid extention for headers: