From 48009e4c5732180ecc951ac6359b9b96d38b8dc2 Mon Sep 17 00:00:00 2001
From: Damjan Marion <damarion@cisco.com>
Date: Thu, 20 Apr 2017 11:43:56 +0200
Subject: Move vagrant stuff to extras/

Change-Id: I7e3d6ecc3f23d862004c273e23e36e234ceb6015
Signed-off-by: Damjan Marion <damarion@cisco.com>
---
 build-root/vagrant/env.sh | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 build-root/vagrant/env.sh

(limited to 'build-root/vagrant/env.sh')

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
-- 
cgit 1.2.3-korg