From 6ceb86de193781155c92c7cd7937f9f1aa4a4765 Mon Sep 17 00:00:00 2001
From: Alex Helfet <alex.helfet@gmail.com>
Date: Wed, 27 Dec 2017 13:51:13 +0000
Subject: [PATCH] build_local builds in separate directory per toolchain.

---
 bin/build_local | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/bin/build_local b/bin/build_local
index 89a1996..7f835b5 100755
--- a/bin/build_local
+++ b/bin/build_local
@@ -3,9 +3,15 @@ set -ex
 
 # A simple build script to run locally before pushing.
 
+script_dir=$( cd $(dirname ${BASH_SOURCE[0]}); pwd )
+repo_dir=${script_dir}/..
+
 for tc in nightly stable beta; do
     echo "Toolchain: ${tc}";
     rustup toolchain update ${tc};
+
+    export CARGO_TARGET_DIR="${repo_dir}/target/build_local/${tc}"
+
     cargo +${tc} test --verbose;
     cargo +${tc} test --verbose --no-default-features;
     cargo +${tc} test --verbose --no-default-features --features=typed;