util: added .mk makefile extension to file_types.py
Review Request #2780 - Created May 11, 2015 and submitted - Latest diff uploaded
| Information | |
|---|---|
| Tony Gutierrez | |
| gem5 | |
| default | |
| Reviewers | |
| Default | |
Changeset 10837:a50ee0ca7e39 --------------------------- util: added .mk makefile extension to file_types.py