Merge branch 'master' into bug-1588-special-chars-in-var-names

highperformancecoder · Apr 7, 2023 · 92b3671 · 92b3671
2 parents 8e30a10 + 6f05122
commit 92b3671
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml
@@ -75,7 +75,7 @@ jobs:
     #    uses a compiled language
 
     - run: |
-        make 
+        make OBS=1
     #   make release
 
     - name: Perform CodeQL Analysis