diff options
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 |