-if [[ "$1" = "15" || "$1" = "20" || "$1" = "21" || "$1" = "22" || "$1" = "23" ]]; then
- VER=$1
- PYTHON=$TOOLS/python$1/python.exe
- shift
-else
- echo You must specify the Python version as first parameter.
- exit -1
-fi
+case $1 in
+ 21 | 2.1) VER=21; shift ;;
+ 22 | 2.2) VER=22; shift ;;
+ 23 | 2.3) VER=23; shift ;;
+ 24 | 2.4) VER=24; shift ;;
+ 25 | 2.5) VER=25; shift ;;
+
+ *) VER=24
+esac
+
+PYTHON=$TOOLS/python$VER/python.exe