diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-01-10 03:32:54 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-01-10 03:32:54 +0000 |
commit | cbe30304c50c659b088a698c148b86a24da6b7d6 (patch) | |
tree | c268a18779efe5ff8e04728af7de032dbf4119e9 /reproduce/src/bash/git-post-checkout | |
parent | d9a6855948fad17fa0fbc2017ab2be0238ca8b72 (diff) |
make dist: removing temp files moved after project-specific files
Until now, when you ran './project make dist', first it would delete the
temporary files (like files ending in '~' or '.swp' created by some
editors), then it had a place to add project-specific operations for the
distribution.
However, in the process of cleaning the temporary files, it would 'cd' into
the directory that would later be packaged. So project-specific operations
would first have to 'cd' back into the top source directory. This was prone
to hard-to-find bugs.
With this commit, to avoid the problem the project-specific operations are
now placed before the cleaning phase. This is also technically good because
in the project-specific operations there may also be temporary files that
shouldn't go into the distribution tarball.
Diffstat (limited to 'reproduce/src/bash/git-post-checkout')
0 files changed, 0 insertions, 0 deletions