aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/bash/git-post-checkout
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2021-01-10 03:32:54 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2021-01-10 03:32:54 +0000
commitcbe30304c50c659b088a698c148b86a24da6b7d6 (patch)
treec268a18779efe5ff8e04728af7de032dbf4119e9 /reproduce/src/bash/git-post-checkout
parentd9a6855948fad17fa0fbc2017ab2be0238ca8b72 (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