diff options
| author | Jeremy Rifkin <51220084+jeremy-rifkin@users.noreply.github.com> | 2023-06-28 07:15:24 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-28 08:15:24 -0400 |
| commit | ddb4ed8c054a6e6a07d431ee40b95111e5a31695 (patch) | |
| tree | e1e9587fc82efe8534793af2215b6a39a1b6b14a /lib/compilers/win32-mingw-gcc.ts | |
| parent | 3638f6026c7a756ae1591a02112e3bb59627c48e (diff) | |
| download | compiler-explorer-ddb4ed8c054a6e6a07d431ee40b95111e5a31695.tar.gz compiler-explorer-ddb4ed8c054a6e6a07d431ee40b95111e5a31695.zip | |
Improve the type of ExecutionOptions.env (#5206)gh-8009
Diffstat (limited to 'lib/compilers/win32-mingw-gcc.ts')
| -rw-r--r-- | lib/compilers/win32-mingw-gcc.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/compilers/win32-mingw-gcc.ts b/lib/compilers/win32-mingw-gcc.ts index 04b43f985..715b1e0c1 100644 --- a/lib/compilers/win32-mingw-gcc.ts +++ b/lib/compilers/win32-mingw-gcc.ts @@ -82,7 +82,7 @@ export class Win32MingWGcc extends GCCCompiler { ); } - override getDefaultExecOptions(): ExecutionOptions { + override getDefaultExecOptions(): ExecutionOptions & {env: Record<string, string>} { const options = super.getDefaultExecOptions(); if (!options.env) options.env = {}; if (!options.env.PATH) options.env.PATH = ''; |