diff options
| author |   Ed Warnicke <eaw@cisco.com> | 2016-09-01 11:54:27 -0700 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2016-09-02 02:05:57 +0000 |
| commit | 3ba4d36d927444cfd1929c3d130af7dc9194ea6c (patch) | |
| tree | 3fcd9cc58fff10f1af5c8e5a8fa70d701e1c2942 /build-root/vagrant/build.sh | |
| parent | 16bcf7d8dcd411e6a6b8d217cce5e450f7357bb3 (diff) | |
VPP-373: stop building from /vpp mount
Change-Id: I7f8fe8fa6c24b4229b0cb45e6c83e7cb2828e2da
Signed-off-by: Ed Warnicke <eaw@cisco.com>
Diffstat (limited to 'build-root/vagrant/build.sh')
| -rwxr-xr-x | build-root/vagrant/build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-root/vagrant/build.sh b/build-root/vagrant/build.sh index aecb1d64a72..8695b030d44 100755 --- a/build-root/vagrant/build.sh +++ b/build-root/vagrant/build.sh @@ -47,8 +47,8 @@ make UNATTENDED=yes install-dep # Really really clean things up so we can be sure # that the build works even when switching distros -make wipe -(cd build-root/;make distclean) +$SUDOCMD make wipe +(cd build-root/;$SUDOCMD make distclean) rm -f build-root/.bootstrap.ok if [ $DISTRIB_ID == "CentOS" ]; then |