Merge commit '0469ef0e5529' into mntm-dev

This commit is contained in:
Willy-JL
2024-10-07 02:19:53 +01:00
15 changed files with 952 additions and 1239 deletions
+1 -1
View File
@@ -47,7 +47,7 @@ def generate(env):
PVSOPTIONS=[
"@.pvsoptions",
"-j${PVSNCORES}",
"--disableLicenseExpirationCheck",
# "--disableLicenseExpirationCheck",
# "--incremental", # kinda broken on PVS side
],
PVSCONVOPTIONS=[