diff --git a/run_tests.sh b/run_tests.sh index 868faed211..7e7b5d1965 100755 --- a/run_tests.sh +++ b/run_tests.sh @@ -6,7 +6,7 @@ set -o errexit # Increment me any time the environment should be rebuilt. # This includes dependncy changes, directory renames, etc. # Simple integer secuence: 1, 2, 3... -environment_version=24 +environment_version=25 #--------------------------------------------------------# function usage {