use CODEQL_PLATFORM

github · Jan 12, 2021 · 5a03a14 · 5a03a14
1 parent dbd8007
commit 5a03a14
Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/lib/runner.js b/lib/runner.js
diff --git a/lib/runner.js.map b/lib/runner.js.map
diff --git a/src/runner.ts b/src/runner.ts
@@ -207,9 +207,12 @@ program
       // executable is needed to trace when System Integrity Protection is enabled.
       if (process.platform === "darwin") {
         const codeqlDist = tracerConfig.env["CODEQL_DIST"];
+        const codeqlPlatform = tracerConfig.env["CODEQL_PLATFORM"];
         tracerConfig.env["CODEQL_PRELOAD_TRACER"] = path.join(
           codeqlDist,
-          "tools/osx64/preload_tracer"
+          "tools",
+          codeqlPlatform,
+          "preload_tracer"
         );
       }