diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-29 20:59:40 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-29 20:59:40 +0000 |
| commit | d068937a9fe037871fa89759122fc7df9056683d (patch) | |
| tree | 8ac8c752112d397e6cf71151405d11d7f25f43b1 /reproduce/config/pipeline/dependency-texlive.mk | |
| parent | a769f01c38dc47b39d6e49b16c6d922a2434cfd2 (diff) | |
File is made before calling flock (file locking)
While testing on another computer, I noticed that to operate properly, the
file given to `flock' must be created before it is called. This is a
low-level difference (how the system treats files), so it wasn't apparent
on my system. To fix it, we have added a `touch' command before it.
Diffstat (limited to 'reproduce/config/pipeline/dependency-texlive.mk')
0 files changed, 0 insertions, 0 deletions