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/vagrant | |
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/vagrant')
-rwxr-xr-x | build-root/vagrant/build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build-root/vagrant/build.sh b/build-root/vagrant/build.sh index 8695b030d44..e500240be59 100755 --- a/build-root/vagrant/build.sh +++ b/build-root/vagrant/build.sh @@ -68,6 +68,7 @@ $SUDOCMD make bootstrap if [ $DISTRIB_ID == "Ubuntu" ]; then $SUDOCMD make pkg-deb elif [ $DISTRIB_ID == "CentOS" ]; then + (cd $VPP_DIR/vnet ;aclocal; automake -a) $SUDOCMD make pkg-rpm fi |