From 65147dc3528abf2a487551e9084bb25795340463 Mon Sep 17 00:00:00 2001
From: Charlotte Van Petegem <charlotte.vanpetegem@ugent.be>
Date: Sun, 12 Jul 2020 16:03:22 +0200
Subject: [PATCH] Add script to build locally

---
 build.sh      | 11 +++++++++--
 localbuild.sh |  1 +
 2 files changed, 10 insertions(+), 2 deletions(-)
 create mode 100755 localbuild.sh

diff --git a/build.sh b/build.sh
index 046018a7..0dcbab82 100755
--- a/build.sh
+++ b/build.sh
@@ -2,11 +2,18 @@
 set -euo pipefail
 set -x
 
+if [ -z "$NO_REMOTE" ]
+then
+    remote_args="--builders 'ssh://charlotte@sunspear.vanpetegem.me' --extra-substituters 'ssh://charlotte@sunspear.vanpetegem.me'"
+else
+    remote_args=""
+fi
+
+
 nix-build \
     --no-out-link \
     --pure \
-    --builders 'ssh://charlotte@sunspear.vanpetegem.me' \
-    --extra-substituters 'ssh://charlotte@sunspear.vanpetegem.me' \
+    $remote_args \
     "${@}"
 
 exit 0
diff --git a/localbuild.sh b/localbuild.sh
new file mode 100755
index 00000000..9d56b4bb
--- /dev/null
+++ b/localbuild.sh
@@ -0,0 +1 @@
+NO_REMOTE=true ./build.sh $@