Comment Comment by metastew the makefile in the repo shows that there's a "build_linux" command so you could just use "make build_linux" instead. parent metastew 6 years ago