Skip to content

Commit

Permalink
Fix race in make zipup
Browse files Browse the repository at this point in the history
`clean` and `docs` run in parallel, so sometimes stuff gets cleaned that
is required to build docs.

Signed-off-by: Steffen Jaeckel <s@jaeckel.eu>
  • Loading branch information
sjaeckel committed Mar 27, 2024
1 parent 36131ff commit 95d80fd
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion makefile
Original file line number Diff line number Diff line change
Expand Up @@ -133,7 +133,11 @@ pre_gen:
sed -e 's/[[:blank:]]*$$//' mpi.c > pre_gen/mpi.c
rm mpi.c

zipup: clean astyle new_file docs
zipup:
$(MAKE) clean
$(MAKE) .zipup

.zipup: astyle new_file docs
@# Update the index, so diff-index won't fail in case the pdf has been created.
@# As the pdf creation modifies the tex files, git sometimes detects the
@# modified files, but misses that it's put back to its original version.
Expand Down

0 comments on commit 95d80fd

Please sign in to comment.