diff options
| author | Joel Challis <git@zvecr.com> | 2020-11-22 15:50:14 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-22 07:50:14 -0800 |
| commit | ca9edc5fe392d0349e77c26b745cbef2f85b160e (patch) | |
| tree | a44637fdd11d1d07e55d9e95803239c58f724b41 /show_options.mk | |
| parent | a952bf2d31ec379ec5e5bbf9b1d1b2673ebbacad (diff) | |
Fix failed develop updates within CI (#11001)
* Fix inverted logic
* skip locked instead of fail
Diffstat (limited to 'show_options.mk')
0 files changed, 0 insertions, 0 deletions