diff options
Diffstat (limited to 'build-root/vagrant/env.sh')
| -rw-r--r-- | build-root/vagrant/env.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/build-root/vagrant/env.sh b/build-root/vagrant/env.sh deleted file mode 100644 index f0edfd884ed..00000000000 --- a/build-root/vagrant/env.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/usr/bin/env bash - -export VPP_VAGRANT_DISTRO="ubuntu1404" -export VPP_VAGRANT_NICS=2 -export VPP_VAGRANT_VMCPU=4 -export VPP_VAGRANT_VMRAM=4096 |