diff options
Diffstat (limited to 'resources/tools')
| -rwxr-xr-x | resources/tools/presentation/run_report.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/tools/presentation/run_report.sh b/resources/tools/presentation/run_report.sh index 2a0fcfa2b0..7139da3f97 100755 --- a/resources/tools/presentation/run_report.sh +++ b/resources/tools/presentation/run_report.sh @@ -38,7 +38,7 @@ export PYTHONPATH=`pwd` python pal.py \ --specification specification.yaml \ --release ${RELEASE} \ - --version "0.8" \ + --version "0.9" \ --logging INFO \ --force |