Replace build.sh by a Makefile #18
Description
Its more transparent and faster to use a proper Makefile for the various build stages and options.
{{ message }}
Its more transparent and faster to use a proper Makefile for the various build stages and options.