util: added .mk makefile extension to file_types.py

Download Diff
View Diff

Information
Submitter:	Tony Gutierrez
Repository:	gem5
Branch:	default
Bugs:
Depends On:
Reviewers
Groups:	Default
People:

Description

Changeset 10837:a50ee0ca7e39
---------------------------
util: added .mk makefile extension to file_types.py

Testing Done

Expand All
Collapse All

I do not recall having every seen a makefile with .mk extension, for that matter
I don't think makefiles have extensions.

Jason Lowe-Power May 12, 2015, 2:10 p.m. (May 12, 2015, 2:10 p.m.)

I agree that I have rarely seen Makefiles with extensions. However, looking into this just now, there is a reference to .mk files in the make documentation: http://www.gnu.org/software/make/manual/make.html#Include

Nilay Vaish May 12, 2015, 2:15 p.m. (May 12, 2015, 2:15 p.m.)
```
OK.
```

IMHO, this doesn't hurt anything to have.

Ship It!

You have a pending review.

Review Board 2.0.15

This change has been marked as submitted.

Screenshots

Files

Status: Closed (submitted)