From 8225105cf2e72560d8c53ec58c1b98683a613381 Mon Sep 17 00:00:00 2001 From: Bob Lantz Date: Thu, 6 Nov 2014 12:03:27 -0800 Subject: [PATCH] Fix to allow more flexible version numbers --- util/versioncheck.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/versioncheck.py b/util/versioncheck.py index 7180f49..94f5579 100755 --- a/util/versioncheck.py +++ b/util/versioncheck.py @@ -8,7 +8,7 @@ version = 'Mininet ' + co( 'PYTHONPATH=. bin/mn --version', shell=True ) version = version.strip() # Find all Mininet path references -lines = co( "grep -or 'Mininet \w\+\.\w\+\.\w\+[+]*' *", shell=True ) +lines = co( "egrep -or 'Mininet [0-9\.]+\w*' *", shell=True ) error = False