build.sh

#!/usr/bin/env bash
./configure
time make -k -j 3 "$@"