diff options
author | Thomas F Herbert <thomasfherbert@gmail.com> | 2016-08-01 18:33:48 -0400 |
---|---|---|
committer | Damjan Marion <dmarion.lists@gmail.com> | 2016-09-27 20:48:26 +0000 |
commit | 81ee70f93f42132cbf8a5a1b461bb9b17e3b54c9 (patch) | |
tree | 20016a05c4741eaa160b1cd923df9761e727374d /build-root/scripts/make-plugin-toolkit | |
parent | 20f6441c639771467a9699eed177ba5e22368d37 (diff) |
VPP-308: Added workaround for failed vnet build. For some reason
the clock slew is greater with Vagrant 1.8.5 which causes Makefile.am to be
timestamped as newer which causes builds to fail.
Change-Id: Id0d35c41ac66a2841c5aae20dd678f4bc125e41b
Signed-off-by: Thomas F Herbert <therbert@redhat.com>
Diffstat (limited to 'build-root/scripts/make-plugin-toolkit')
0 files changed, 0 insertions, 0 deletions