diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2020-03-25 18:40:15 +0100 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2020-05-02 03:15:31 +0200 |
| commit | 262231a8f28feb711a8b164c62d9b89bcc11df47 (patch) | |
| tree | 8b9f2812eb5c0516823d81eec9fc0e5e2b13cd7c /scripts/ci | |
| parent | a5cb011fccf6d06a229b83052150f4accabdac0d (diff) | |
Fix cabal projects using source-repository-package
Apparently we can get source-repo-packages in plan.json even when filtering
for `"style": "local"`(`UnitTypeLocal`). It's possible the root cause here
is a cabal bug as source-repository-package should really be treated more
like a tarball than a local package. Regardless we simply filter units by
actually checking for `uPkgSrc=Just LocalUnpackedPackage` instead of
relying on "style".
This fixes #99
Diffstat (limited to 'scripts/ci')
| -rw-r--r-- | scripts/ci/steps/20-sdist.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/ci/steps/20-sdist.sh b/scripts/ci/steps/20-sdist.sh index 329aa86..8424608 100644 --- a/scripts/ci/steps/20-sdist.sh +++ b/scripts/ci/steps/20-sdist.sh @@ -12,3 +12,9 @@ if [ -d cabal-plan/ ]; then fi cd "$source_dir" + +git init +git config --local user.email "$USER@$(hostname)" +git config --local user.name "cabal-helper CI" +git add --all +git commit -m . |