From 176856bc9b9c5fdb837df2ea78e491097f4c5f58 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Tue, 14 Feb 2012 16:35:12 -0800
Subject: [PATCH] Added setting NOX_CORE_DIR in .bashrc - this should not be
 necessary.

---
 util/vm/install-mininet-vm.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/util/vm/install-mininet-vm.sh b/util/vm/install-mininet-vm.sh
index db7ae65b..93473075 100644
--- a/util/vm/install-mininet-vm.sh
+++ b/util/vm/install-mininet-vm.sh
@@ -24,6 +24,9 @@ cd mininet
 git checkout -b 1.4 origin/devel/ovs-1.4-compat
 cd
 time mininet/util/install.sh
+if ! grep NOX_CORE_DIR .bashrc; then
+  echo "export NOX_CORE_DIR=~/noxcore/build/src/" >> .bashrc
+fi
 echo <<EOF
 You may need to reboot and then:
 sudo dpkg-reconfigure openvswitch-datapath-dkms
-- 
GitLab