diff options
| author | Brad Beckmann <Brad.Beckmann@amd.com> | 2015-07-20 09:15:18 -0500 |
|---|---|---|
| committer | Brad Beckmann <Brad.Beckmann@amd.com> | 2015-07-20 09:15:18 -0500 |
| commit | d87fe7b3f4adea64e11389b0619fec1dc431423a (patch) | |
| tree | e90d2a2c9cd481092b634689bdb315266b1e94cd /util | |
| parent | 0c78abb3024bae5c0844eaaf503c1f360d86bc9d (diff) | |
| download | gem5-d87fe7b3f4adea64e11389b0619fec1dc431423a.tar.xz | |
util: added .mk makefile extension to file_types.py
Diffstat (limited to 'util')
| -rw-r--r-- | util/file_types.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/file_types.py b/util/file_types.py index 14d198bd6..57194c1c8 100644 --- a/util/file_types.py +++ b/util/file_types.py @@ -30,6 +30,7 @@ lang_types = { '.el' : "lisp", '.txt' : "text", '.tex' : "tex", + '.mk' : "make", } # languages based on file prefix |