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 | |
| 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')
| -rw-r--r-- | reproduce/analysis/make/initialize.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/analysis/make/initialize.mk b/reproduce/analysis/make/initialize.mk index 1e4a126..ee9c8c1 100644 --- a/reproduce/analysis/make/initialize.mk +++ b/reproduce/analysis/make/initialize.mk @@ -260,7 +260,7 @@ $(packagecontents): paper.pdf | $(texdir) cp -r tex/src $$dir/tex/src cp tex/tikz/*.pdf $$dir/tex/tikz cp -r reproduce/* $$dir/reproduce - cp -r tex/build/!($(packagebasename)) $$dir/tex/build + cp -r tex/build/!(paper-v*) $$dir/tex/build # Clean up un-necessary/local files: 1) the $(texdir)/build* # directories (when building in a group structure, there will be |