From 62078c86c13c99e5064ca7b530649aafbf284fb6 Mon Sep 17 00:00:00 2001
From: Bill Hart <whart222@gmail.com>
Date: Fri, 5 Jul 2013 07:43:51 -0600
Subject: [PATCH] Using awk to do floating point comparisons

---
 admin/jenkins_cxxtest | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/admin/jenkins_cxxtest b/admin/jenkins_cxxtest
index 045b591..1929e5b 100644
--- a/admin/jenkins_cxxtest
+++ b/admin/jenkins_cxxtest
@@ -38,7 +38,8 @@ done
 
 # Setup virtual Python environment
 \rm -Rf vpython
-if [ $PYTHON_VER < 2.6 ]; then
+tmp=2.6
+if [ "yes" = "$(echo | awk "($PYTHON_VER <= $tmp) { print \"yes\"; }")" ];; then
    "$PYTHON" "$BUILD_SCRIPTS"/virtualenv_1.7.py "$WORKSPACE"/vpython || exit 1
 else
    "$PYTHON" "$BUILD_SCRIPTS"/virtualenv.py "$WORKSPACE"/vpython || exit 1