From c8d27f6424c051afa03403cbc307909b5546c35b Mon Sep 17 00:00:00 2001
From: Michael Vines <mvines@gmail.com>
Date: Tue, 18 Dec 2018 14:11:01 -0800
Subject: [PATCH] Drop _ to clean up CI logs, apply more -j

---
 book/build.sh | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/book/build.sh b/book/build.sh
index 4d1e3e32c8..14063a5279 100755
--- a/book/build.sh
+++ b/book/build.sh
@@ -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)"