Drop _ to clean up CI logs, apply more -j

This commit is contained in:
Michael Vines 2018-12-18 14:11:01 -08:00
parent 287e8cefda
commit c8d27f6424
No known key found for this signature in database
GPG Key ID: 33F4FDEC4E0E88BD
1 changed files with 2 additions and 7 deletions

View File

@ -3,21 +3,16 @@ set -e
cd "$(dirname "$0")"
_() {
echo "--- $*"
"$@"
}
cargo_install_unless() {
declare crate=$1
shift
"$@" > /dev/null 2>&1 || \
_ cargo install "$crate"
cargo install "$crate"
}
export PATH=$CARGO_HOME/bin:$PATH
cargo_install_unless mdbook mdbook --help
cargo_install_unless svgbob_cli svgbob --help
_ make
make -j"$(nproc)"