diff options
| author |   Andrew Yourtchenko <ayourtch@gmail.com> | 2019-03-27 15:22:40 +0100 |
|---|---|---|
| committer | Andrew Yourtchenko <ayourtch@gmail.com> | 2019-04-11 18:42:48 +0000 |
| commit | 1dbebfa462e2f0e397579a3f4c24ee1c209a95b4 (patch) | |
| tree | 125bff95ede7f540e4c00fe3ef545b84490acca2 /extras/vagrant | |
| parent | 2f4c7ec46fe1f88aa58c2cde3dd4c97f65b4264b (diff) | |
cmake: fix errors in external when building past point-release
Change-Id: I23b4816e4ef2c6a2fa825fbd063ea25ff2024151
Signed-off-by: Andrew Yourtchenko <ayourtch@gmail.com>
(cherry picked from commit e36f44ad923f4e64266fd3e4dee6e2716e687504)
Diffstat (limited to 'extras/vagrant')
0 files changed, 0 insertions, 0 deletions