Matthew Kennedy 5d43ddf0b0 Build prometheus with makefiles instead of batch scripts (#1020) ... * use makefiles instead of batch * add to ci * put batch files back, but minimum logic * default to release * debug level opt too		2019-11-29 02:39:30 -05:00
..
board.mk	Build prometheus with makefiles instead of batch scripts (#1020)	2019-11-29 02:39:30 -05:00