diff options
author | Chris Warburton <chriswarbo@gmail.com> | 2016-03-22T11·38+0000 |
---|---|---|
committer | Chris Warburton <chriswarbo@gmail.com> | 2016-03-22T11·38+0000 |
commit | 5839597c664257ccc8c9ec872d9d3edac5aace41 (patch) | |
tree | 340719c1b6c61ba7e207ba5c906471a227ffb12f | |
parent | 712b616a8443b940e94ac443499246f4de6ee5cd (diff) |
Add 32bit linux clause to dev-shell
-rwxr-xr-x | dev-shell | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-shell b/dev-shell index eae9246f4710..5a090ded6080 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 '" \ |