> On May 12, 2015, 3:52 a.m., Nilay Vaish wrote: > > I do not recall having every seen a makefile with .mk extension, for that > > matter > > I don't think makefiles have extensions.
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 - Jason ----------------------------------------------------------- This is an automatically generated e-mail. To reply, visit: http://reviews.gem5.org/r/2780/#review6134 ----------------------------------------------------------- On May 11, 2015, 10:18 p.m., Tony Gutierrez wrote: > > ----------------------------------------------------------- > This is an automatically generated e-mail. To reply, visit: > http://reviews.gem5.org/r/2780/ > ----------------------------------------------------------- > > (Updated May 11, 2015, 10:18 p.m.) > > > Review request for Default. > > > Repository: gem5 > > > Description > ------- > > Changeset 10837:a50ee0ca7e39 > --------------------------- > util: added .mk makefile extension to file_types.py > > > Diffs > ----- > > util/file_types.py fbdaa08aaa426b9f4660c366f934ccb670d954ec > > Diff: http://reviews.gem5.org/r/2780/diff/ > > > Testing > ------- > > > Thanks, > > Tony Gutierrez > > _______________________________________________ gem5-dev mailing list [email protected] http://m5sim.org/mailman/listinfo/gem5-dev
