diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-09-25 01:45:29 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-09-25 01:45:29 +0100 |
| commit | 29d26d1e5ea7b9ad291772313604ed42e9763810 (patch) | |
| tree | 8c7f46da02c45b2d9f63067451254c13c0374599 /reproduce/software/bash/git-pre-commit | |
| parent | 67bc85c30ba1885ace3d0d282724adf227e7a5f3 (diff) | |
Won't copy previous distribution builds in new distribution
Until now, the pipeline was instructed to only ignore the current temporary
project distribution directory. So if there were directories from previous
builds, they were wrongly included in the current tarball.
With this commit, we don't just ignore the directory of the current
distribution, but generally, all directories starting with `paper-v*'.
Diffstat (limited to 'reproduce/software/bash/git-pre-commit')
0 files changed, 0 insertions, 0 deletions