diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-04 06:05:05 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-04 06:05:05 +0100 |
commit | 81348fd2e0ee1c20d2f1f5e9d3079bb36590d732 (patch) | |
tree | 20ebe28d8858d4cd89f46a012a01e7e555113e7c /reproduce/analysis/bash | |
parent | 2c53017c92ad7538317d2da878ff48caa611b93b (diff) |
tex/build and tex/tikz treated properly in tarball
When the project is being re-built from the tarball (not the Git
repository), the 'tex/build' and 'tex/tikz' addresses are actual
directories, not symbolic links. In this case, when someone runs './project
configure', it will complain about not being able to delete them (it
assumes they are symbolic links!).
So with this commit, we first check if they are deletable without '-r'. If
so, then they are full directories and we rename them to a backup directory
to allow the rest of the project to continue building a link there.
Diffstat (limited to 'reproduce/analysis/bash')
0 files changed, 0 insertions, 0 deletions