From 008b0062c6ac3303f93f63484e6b6cac388de017 Mon Sep 17 00:00:00 2001
From: Esben Sparre Andreasen <esbena@github.com>
Date: Mon, 10 Aug 2020 08:58:19 +0200
Subject: [PATCH] add ExtraOptions type for codeql commands

---
 src/codeql.ts | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/src/codeql.ts b/src/codeql.ts
index 0e081a80f..7ab4692d9 100644
--- a/src/codeql.ts
+++ b/src/codeql.ts
@@ -14,6 +14,27 @@ import * as api from './api-client';
 import * as defaults from './defaults.json'; // Referenced from codeql-action-sync-tool!
 import * as util from './util';
 
+type Options = (string|number|boolean)[];
+
+/**
+ * Extra command line options for the codeql commands.
+ */
+interface ExtraOptions {
+  '*'?: Options;
+  database?: {
+    '*'?: Options,
+    init?: Options,
+    'trace-command'?: Options,
+    analyze?: Options,
+    finalize?: Options
+  };
+  resolve?: {
+    '*'?: Options,
+    extractor?: Options,
+    queries?: Options
+  };
+}
+
 export interface CodeQL {
   /**
    * Get the directory where the CodeQL executable is located.