aboutsummaryrefslogtreecommitdiff
path: root/reproduce/analysis/make/top.mk
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-09-25 01:45:29 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-09-25 01:45:29 +0100
commit29d26d1e5ea7b9ad291772313604ed42e9763810 (patch)
tree8c7f46da02c45b2d9f63067451254c13c0374599 /reproduce/analysis/make/top.mk
parent67bc85c30ba1885ace3d0d282724adf227e7a5f3 (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/analysis/make/top.mk')
0 files changed, 0 insertions, 0 deletions