Merge remote-tracking branch 'ofw/dev' into mntm-dev

2026-07-02 22:18:56 -07:00 · 2024-09-05 18:13:22 +02:00
parent 3e3ce725ab 6a48dd28f5
commit e60b0180ec
19 changed files with 389 additions and 117 deletions
@@ -47,6 +47,7 @@ def generate(env):
        PVSOPTIONS=[
            "@.pvsoptions",
            "-j${PVSNCORES}",
+            "--disableLicenseExpirationCheck",
            # "--incremental", # kinda broken on PVS side
        ],
        PVSCONVOPTIONS=[