diff options
| author | David de Boer <david@ddeboer.nl> | 2016-09-14 16:32:16 +0200 |
|---|---|---|
| committer | David de Boer <david@ddeboer.nl> | 2016-09-15 08:57:24 +0200 |
| commit | 2b6fa7a25e0acdee4ce2a452152b688f2df27dea (patch) | |
| tree | db33b567acc87a099469ec000b1c6257116679d2 /src/rebar_prv_update.erl | |
| parent | 0e2b1a11b23658f06fb88076234eaad31605ff4c (diff) | |
Ignore mv warnings
In some cases, mv will throw a warning, while still moving the files
correctly and returning a 0 return code:
"mv: can't preserve ownership of ... Permission denied".
Diffstat (limited to 'src/rebar_prv_update.erl')
0 files changed, 0 insertions, 0 deletions