(build) rename makefile to makefile.dev to ease cmake BuildExternal (fix #261)

This commit is contained in:
Benjamin Sergeant
2020-12-22 21:42:39 -08:00
parent 461a645704
commit 1d0432c8c5
5 changed files with 7 additions and 2 deletions

View File

@ -2,3 +2,4 @@ build
CMakeCache.txt
ws/CMakeCache.txt
test/build
makefile