diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2018-10-27 18:38:41 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2019-01-22 03:03:25 +0100 |
commit | bc1b304aa262cb00bc486b5af0e22a142cbb0337 (patch) | |
tree | 6430d9e9abe92586a3783db844edba86b4e08efb /scripts/ci/steps | |
parent | 33eaf9ea1b13fff3bd2b5ba403b802f805a4a5d3 (diff) |
ci: Add GHC-8.6.2 job
Diffstat (limited to 'scripts/ci/steps')
-rw-r--r-- | scripts/ci/steps/20-sdist.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/ci/steps/20-sdist.sh b/scripts/ci/steps/20-sdist.sh index ab98061..329aa86 100644 --- a/scripts/ci/steps/20-sdist.sh +++ b/scripts/ci/steps/20-sdist.sh @@ -2,6 +2,7 @@ mkdir -p "$source_dir" mkdir -p "$build_dir" cabal act-as-setup -- sdist --output-directory="$source_dir" +cp cabal.project "$source_dir"/cabal.project if [ -d cabal-plan/ ]; then ( |