Merge pull request #495 from edoardopirovano/windows-env-file

Output environment file for Windows
github · May 10, 2021 · 4c0671c · 4c0671c
2 parents 458b791 + 84b6ff0
commit 4c0671c
Show file tree

Hide file tree

Showing 8 changed files with 102 additions and 33 deletions.
diff --git a/.github/workflows/pr-checks.yml b/.github/workflows/pr-checks.yml
@@ -465,8 +465,10 @@ jobs:
 
     - name: Build code
       shell: powershell
+      # Note we want to make sure that the .win32env file is read correctly, so we unset the CODEQL_EXTRACTOR_CSHARP_ROOT from the .sh file.
       run: |
         cat ./codeql-runner/codeql-env.sh | Invoke-Expression
+        $Env:CODEQL_EXTRACTOR_CSHARP_ROOT = ""
         & $Env:CODEQL_RUNNER dotnet build
 
     - name: Run analyze

diff --git a/lib/tracer-config.js b/lib/tracer-config.js
diff --git a/lib/tracer-config.js.map b/lib/tracer-config.js.map
diff --git a/lib/tracer-config.test.js b/lib/tracer-config.test.js