diff options
| author | Patrick Quist <partouf@gmail.com> | 2020-09-25 02:09:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-25 02:09:47 +0200 |
| commit | 697c8e9296705b563b1618f73d5630c70a2fa394 (patch) | |
| tree | d636faefca2ff1a681b934827ac6fce3d5a69148 /lib/compilers/win32.js | |
| parent | 82faf7b9f301a8d81b836016d613f3223fa21519 (diff) | |
| download | compiler-explorer-697c8e9296705b563b1618f73d5630c70a2fa394.tar.gz compiler-explorer-697c8e9296705b563b1618f73d5630c70a2fa394.zip | |
support library options to be passed on to the compiler (#2215)
Diffstat (limited to 'lib/compilers/win32.js')
| -rw-r--r-- | lib/compilers/win32.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/compilers/win32.js b/lib/compilers/win32.js index 6d4e9f97a..56e809104 100644 --- a/lib/compilers/win32.js +++ b/lib/compilers/win32.js @@ -102,6 +102,7 @@ class Win32Compiler extends BaseCompiler { } const libIncludes = this.getIncludeArguments(libraries); + const libOptions = this.getLibraryOptions(libraries); let libLinks = []; let libPaths = []; let preLink = []; @@ -115,7 +116,7 @@ class Win32Compiler extends BaseCompiler { } userOptions = this.filterUserOptions(userOptions) || []; - return options.concat(libIncludes, userOptions, [this.filename(inputFilename)], preLink, libPaths, + return options.concat(libIncludes, libOptions, userOptions, [this.filename(inputFilename)], preLink, libPaths, libLinks, staticlibLinks); } |