minor edit: Makefile (#672)
* minor edit: Makefile Fixed a suggested command when ninja isn't found to the correct package name * Makefile: minor edit Ninja build has different names in different package managers. This handles both known instances. * Makefile: ninja package name suggestion When checking requirements, ninja build has a different name for brew and ubuntu/debian. This handles both.
T
Travis Pulley committed
9a7874a680dc8846628b11b923f0096e7d3dadfe
Parent: 5c2ec9c
Committed by GitHub <noreply@github.com>
on 7/15/2022, 11:42:53 PM