From 5839597c664257ccc8c9ec872d9d3edac5aace41 Mon Sep 17 00:00:00 2001
From: Chris Warburton <chriswarbo@gmail.com>
Date: Tue, 22 Mar 2016 11:38:56 +0000
Subject: [PATCH] Add 32bit linux clause to dev-shell

---
 dev-shell | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-shell b/dev-shell
index eae9246f4..5a090ded6 100755
--- a/dev-shell
+++ b/dev-shell
@@ -11,7 +11,7 @@ exec $s release.nix -A tarball --command "
     export NIX_PATH='$NIX_PATH'
     export NIX_BUILD_SHELL=$(type -p bash)
     export c=\$configureFlags
-    exec $s release.nix -A build.$(if [ $(uname -s) = Darwin ]; then echo x86_64-darwin; else echo x86_64-linux; fi) --exclude tarball --command '
+    exec $s release.nix -A build.$(if [ $(uname -s) = Darwin ]; then echo x86_64-darwin; elif [[ $(uname -m) =~ ^i[3456]86$ ]]; then echo i686-linux; else echo x86_64-linux; fi) --exclude tarball --command '
         configureFlags+=\" \$c --prefix=$(pwd)/inst --sysconfdir=$(pwd)/inst/etc\"
         return
     '" \