diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-10-11 21:01:38 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-10-11 21:01:38 +0100 |
commit | d4835357d2e96fd8a3a33bfaf9f7b459ba31e978 (patch) | |
tree | 345dbaca1e8ba337c1aa26c8b5d0f647b3ccb134 /reproduce/software/bash/git-post-checkout | |
parent | bf3f9e8110aeb0f7aa3d40de512465bc89eeba63 (diff) |
Properly working make clean when in group mode
Until now, when you ran `make clean', all the directories under
`$(BDIR)/tex/' would be deleted except for `macros' and `build'. This was
good for the single-user mode. But in group mode, this would delete the
user-specific TeX build directory because its called `build-USER', not
`build'.
With this commit, to fix the problem, we define the new `texbtopdir' and
based on the group condition, and use that to specify which directory to
not delete.
Diffstat (limited to 'reproduce/software/bash/git-post-checkout')
0 files changed, 0 insertions, 0 deletions