deb/make_deb.sh - removed 'stack clean'.
commit8a5950a67462b7ae36c372b79afcef0138c358b0
authorJohn MacFarlane <jgm@berkeley.edu>
dateThu 7 Jan 2016, 11:35 (11 years ago)
parent9320d35
deb/make_deb.sh+1−2
@@ -1,4 +1,4 @@
1−#!/bin/bash -e
1+#!/bin/bash -e -v
22
33MACHINE=$(uname -m)
44case "$MACHINE" in
@@ -21,7 +21,6 @@ TEMPDIR=make_binary_package.tmp.$$
2121# We need this for hsb2hs:
2222PATH=$LOCAL/bin:$PATH
2323
24−stack clean
2524which hsb2hs || stack install --install-ghc --stack-yaml stack.hsb2hs.yaml
2625
2726stack install --install-ghc --stack-yaml deb/stack.yaml