diff options
| author | Jeff Epler <jepler@gmail.com> | 2019-12-16 15:33:55 -0600 |
|---|---|---|
| committer | Jeff Epler <jepler@gmail.com> | 2019-12-16 15:33:55 -0600 |
| commit | 201f4648c40c13bdbf91f8cc078c1fbecc09256d (patch) | |
| tree | e584d92234416af386cd6f6ade2eb63add8cdd70 /tools | |
| parent | 8384e4676b5f7e4c06fd8f1db53382b6f3e6d175 (diff) | |
py.mk: Fix race condition building .mo files
By having an order-only dependency on the directory itself, the directory
is sure to be created before the rule to create a .mo file is.
This fixes a low-freqency error on github actions such as
> msgfmt: error while opening "build/genhdr/en_US.mo" for writing: No such file or directory
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions