Skip to content

Commit

Permalink
cmdline-docs/Makefile: avoid using a fixed temp file name
Browse files Browse the repository at this point in the history
By appending the pid number two different runs at the same time will not
trample over the same file.

Reported-by: Jon Rumsey
Fixes #12829
  • Loading branch information
bagder committed Feb 1, 2024
1 parent 8438002 commit 71fae1e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/cmdline-opts/Makefile.am
Expand Up @@ -38,7 +38,7 @@ GN_ = $(GN_0)
all: $(MANPAGE)

$(MANPAGE): $(DPAGES) $(SUPPORT) mainpage.idx Makefile.inc gen.pl
$(GEN)(rm -f $(MANPAGE) && cd $(srcdir) && @PERL@ ./gen.pl mainpage $(DPAGES) > $(builddir)/manpage.tmp && mv $(builddir)/manpage.tmp $(MANPAGE))
$(GEN)(rm -f $(MANPAGE) && cd $(srcdir) && @PERL@ ./gen.pl mainpage $(DPAGES) > $(builddir)/manpage.tmp.$$$$ && mv $(builddir)/manpage.tmp.$$$$ $(MANPAGE))

listhelp:
./gen.pl listhelp $(DPAGES) > $(top_builddir)/src/tool_listhelp.c

0 comments on commit 71fae1e

Please sign in to comment.