suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix call to scan-build to use version 9

Browse Source
This commit is contained in:
Paulo Matos 2019-02-06 17:43:13 +01:00 committed by Sam Tobin-Hochstadt
parent c438a88595
commit 184bed291c
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.gitlab-ci.yml
View File

@ -29,7 +29,7 @@ envinfo:
scan-build:racket:
extends: .prepare:llvm
script:
- scan-build-8 -o scan-report make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g" --disable-strip' in-place
- scan-build-9 -o scan-report make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g" --disable-strip' in-place
artifacts:
paths:
- scan-report/
@ -37,7 +37,7 @@ scan-build:racket:
scan-build:racket:crosscheck:
extends: .prepare:llvm
script:
- scan-build-8 -o scan-report_cc -analyzer-config 'crosscheck-with-z3=true' make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g" --disable-strip' in-place
- scan-build-9 -o scan-report_cc -analyzer-config 'crosscheck-with-z3=true' make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g" --disable-strip' in-place
artifacts:
paths:
- scan-report_cc/
@ -45,7 +45,7 @@ scan-build:racket:crosscheck:
scan-build:racketcs:
extends: .prepare:llvm
script:
- scan-build-8 -o scan-report-cs make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g" --disable-strip' cs
- scan-build-9 -o scan-report-cs make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g" --disable-strip' cs
artifacts:
paths:
- scan-report-cs/
@ -53,7 +53,7 @@ scan-build:racketcs:
scan-build:racketcs:crosscheck:
extends: .prepare:llvm
script:
- scan-build-8 -o scan-report-cs_cc -analyzer-config 'crosscheck-with-z3=true' make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g" --disable-strip' cs
- scan-build-9 -o scan-report-cs_cc -analyzer-config 'crosscheck-with-z3=true' make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g" --disable-strip' cs
artifacts:
paths:
- scan-report-cs_cc/