Rename tools/Makefile.* to have the .mk extension

This PR renames `tools/Makefile.*` to have the `.mk` extension. This PR also updates `README.md` and other files that references the other files.
Note: Skipped Makefile.host for this PR since it caused failures in CI for the sim build

By using a standard extension for Makefiles (https://www.file-extension.info/format/mk), editors will auto-format files.
This change will also improve developer ergonomics when searching for specific files

Verified locally that build still works, CI will verify more!
This commit is contained in:
Alan Rosenthal
2022-01-04 16:06:58 -05:00
committed by Xiang Xiao
parent 5b9b3814f8
commit f4d74b52d8
12 changed files with 47 additions and 47 deletions
+1 -1
View File
@@ -2415,7 +2415,7 @@ Configuration Sub-directories
usable as of this writing. The windows native build logic is currently
separate and must be started by:
make -f Makefile.win
make -f Win.mk
This build: