More portable to use /bin/sh instead of /bin/bash (and no need to launch
huge bash on systems that have smaller POSIX shells as /bin/sh, like
e.g. contemporary default Debian installations).
Also let make build in parallel to make use of multicore CPUs to improve
build times where applicable.
More portable to use
/bin/sh
instead of/bin/bash
(and no need to launch huge bash on systems that have smaller POSIX shells as/bin/sh
, like e.g. contemporary default Debian installations).Also let make build in parallel to make use of multicore CPUs to improve build times where applicable.