diff options
| author |   Klement Sekera <ksekera@cisco.com> | 2017-09-26 09:21:24 +0200 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2017-09-26 15:41:50 +0000 |
| commit | d94c3e5b3c9c7f6581a75f7ed9d6781e60932453 (patch) | |
| tree | 064fb31d29adb6bccb6c24b2974296def9737f27 /extras/vagrant/build.sh | |
| parent | 6912a051c4a6d65ebdc827339b9d59173a2ee539 (diff) | |
make test: don't recompile ext if not needed
Skip recompilation of test binaries from test/ext if these are
up-to-date. This speeds up repeated test runs.
Change-Id: I96dbfafc372398e3d858d8419219ef35c47bd0f3
Signed-off-by: Klement Sekera <ksekera@cisco.com>
Diffstat (limited to 'extras/vagrant/build.sh')
0 files changed, 0 insertions, 0 deletions