Using awk to do floating point comparisons

smikes · Jul 5, 2013 · 62078c8 · 62078c8
1 parent 12d555e
commit 62078c8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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