Merge branch 'main' into fix/197

github · Sep 23, 2020 · 5d00d5b · 5d00d5b
2 parents 80b408e + d9f3933
commit 5d00d5b
Showing 4 changed files with 1 addition and 10 deletions.
diff --git a/.eslintrc.json b/.eslintrc.json
@@ -48,7 +48,6 @@
             "github/no-then": "off",
             "import/no-extraneous-dependencies": "off",
             "no-shadow": "off",
-            "no-sparse-arrays": "off",
             "no-throw-literal": "off",
             "no-useless-escape": "off",
             "sort-imports": "off"

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/src/tracer-config.ts b/src/tracer-config.ts
@@ -13,13 +13,9 @@ export type TracerConfig = {
 
 const CRITICAL_TRACER_VARS = new Set([
   "SEMMLE_PRELOAD_libtrace",
-  ,
   "SEMMLE_RUNNER",
-  ,
   "SEMMLE_COPY_EXECUTABLES_ROOT",
-  ,
   "SEMMLE_DEPTRACE_SOCKET",
-  ,
   "SEMMLE_JAVA_TOOL_OPTIONS",
 ]);