diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-03-08 21:41:39 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-08 21:41:39 +0000 |
commit | 010d7343133ebe53a472b9d26fdeb509db31d4c9 (patch) | |
tree | 1d66a6a7f4d1ee1c52e08e6332f326a1e08b6366 /scripts | |
parent | ba8fa15b77dc834a4d6d2c07627ef6c16ad53d0e (diff) | |
parent | feb21582faab8a30e5e9180420f4449764a11a9b (diff) | |
download | verismith-010d7343133ebe53a472b9d26fdeb509db31d4c9.tar.gz verismith-010d7343133ebe53a472b9d26fdeb509db31d4c9.zip |
Merge branch 'master' into develop
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/build.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/scripts/build.sh b/scripts/build.sh new file mode 100755 index 0000000..a08a179 --- /dev/null +++ b/scripts/build.sh @@ -0,0 +1,10 @@ +#!/bin/bash + +if ! [[ -z $NIX ]]; then + if [[ $NIX -eq 0 ]]; then + cabal update + cabal build + else + nix-build + fi +fi |