Merge remote-tracking branch 'OFW/dev' into dev

2026-07-27 01:58:09 -07:00 · 2024-09-05 22:10:41 +03:00
parent 24325e4418 62bbf406be
commit 56530ee61c
52 changed files with 927 additions and 276 deletions
@@ -47,6 +47,7 @@ def generate(env):
        PVSOPTIONS=[
            "@.pvsoptions",
            "-j${PVSNCORES}",
+            "--disableLicenseExpirationCheck",
            # "--incremental", # kinda broken on PVS side
        ],
        PVSCONVOPTIONS=[