From 0094997aa156299c520d31968bab4286618e6cbb Mon Sep 17 00:00:00 2001
From: Brian O'Connor <bocon@onlab.us>
Date: Tue, 25 Nov 2014 17:16:57 -0800
Subject: [PATCH] fixing install-mininet-vm.sh

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

diff --git a/util/vm/install-mininet-vm.sh b/util/vm/install-mininet-vm.sh
index f491320d..8da47bdf 100755
--- a/util/vm/install-mininet-vm.sh
+++ b/util/vm/install-mininet-vm.sh
@@ -34,7 +34,9 @@ git clone git://github.com/mininet/mininet
 # Optionally check out branch
 if [ "$1" != "" ]; then
   pushd mininet
-  git checkout -b $1 $1
+  #git checkout -b $1 $1
+  # TODO branch will in detached HEAD state if it is not master
+  git checkout $1
   popd
 fi
 # Install Mininet
-- 
GitLab