diff options
Diffstat (limited to 'run_tests.sh')
| -rwxr-xr-x | run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run_tests.sh b/run_tests.sh index 85e2e0c86..025003394 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=4 +environment_version=5 #--------------------------------------------------------# function usage { |