diff options
| author | Loïc Hoguin <[email protected]> | 2018-11-27 13:54:24 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-11-27 13:54:24 +0100 |
| commit | 933a967c0f99e3d201696c1a93335d119df23d3f (patch) | |
| tree | a739ffd00a0cf016151d640f6860667c0f8513dc /plugins/shell.mk | |
| parent | 8d0bf3b30b602b7f81f8d4749c5137440310e51f (diff) | |
| download | erlang.mk-933a967c0f99e3d201696c1a93335d119df23d3f.tar.gz erlang.mk-933a967c0f99e3d201696c1a93335d119df23d3f.tar.bz2 erlang.mk-933a967c0f99e3d201696c1a93335d119df23d3f.zip | |
Don't use the non-portable flock -c, use flock sh -c
Diffstat (limited to 'plugins/shell.mk')
0 files changed, 0 insertions, 0 deletions