build.sh: add --check parameter to run make check after build.