diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2016-01-07 11:35:43 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2016-01-07 11:37:31 -0800 |
| commit | 8a5950a67462b7ae36c372b79afcef0138c358b0 (patch) | |
| tree | 2113fb7fb052a2b689197f6a8504bbf8663ba03b /deb | |
| parent | 9320d359a218a59e28b9a0f0d63e1c2f81ff1214 (diff) | |
deb/make_deb.sh - removed 'stack clean'.
Diffstat (limited to 'deb')
| -rwxr-xr-x | deb/make_deb.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/deb/make_deb.sh b/deb/make_deb.sh index 08d102ece..020242b93 100755 --- a/deb/make_deb.sh +++ b/deb/make_deb.sh @@ -1,4 +1,4 @@ -#!/bin/bash -e +#!/bin/bash -e -v MACHINE=$(uname -m) case "$MACHINE" in @@ -21,7 +21,6 @@ TEMPDIR=make_binary_package.tmp.$$ # We need this for hsb2hs: PATH=$LOCAL/bin:$PATH -stack clean which hsb2hs || stack install --install-ghc --stack-yaml stack.hsb2hs.yaml stack install --install-ghc --stack-yaml deb/stack.yaml |