From 4b65570ba5cdd242ac3fe8ec07ea2f53bf92b263 Mon Sep 17 00:00:00 2001
From: Gregory Gee <gee.developer@gmail.com>
Date: Thu, 2 Jan 2014 21:54:56 -0500
Subject: [PATCH] Add notes about specific release branches.
---
INSTALL | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/INSTALL b/INSTALL
index f003c081..6d6337fd 100644
--- a/INSTALL
+++ b/INSTALL
@@ -51,6 +51,13 @@ like to contribute an installation script, we would welcome it!)
git clone git://github.com/mininet/mininet.git
+ Note that the above git command will check out the latest and greatest
+ Mininet (which we recommend!) If you want to run the last tagged/released
+ version of Mininet, use:
+
+ git clone git://github.com/mininet/mininet
+ git checkout -b 2.1.0 2.1.0
+
If you are running Ubuntu, you may be able to use our handy
`install.sh` script, which is in `mininet/util`.
--
GitLab