diff options
-rw-r--r-- | Vagrantfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Vagrantfile b/Vagrantfile index 69c1deaef..3557095a2 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -20,7 +20,7 @@ SCRIPT $configure_ovs = <<SCRIPT mkdir -p ~/build cd ~/build -/vagrant/configure --with-linux=/lib/modules/`uname -r`/build +/vagrant/configure --with-linux=/lib/modules/`uname -r`/build --enable-silent-rules SCRIPT $build_ovs = <<SCRIPT |