diff options
author | Patrick Quist <partouf@gmail.com> | 2020-09-06 16:36:22 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-06 16:36:22 +0200 |
commit | d6a86198b704391427152baba897bedb59eab3cf (patch) | |
tree | 149d17fe9ef46c042c55a22d7b0b68a035fc3add /lib/compilers/default.js | |
parent | ee3000f1256e51b401af2638293df97e6f8b629e (diff) | |
download | compiler-explorer-d6a86198b704391427152baba897bedb59eab3cf.tar.gz compiler-explorer-d6a86198b704391427152baba897bedb59eab3cf.zip |
Copy compiler arguments for 'Executor from this' (#2191)
* copy compiler args to executor
* disable executor-from-this if no supportsExecute for compiler
* also hide hidden compilers
Diffstat (limited to 'lib/compilers/default.js')
0 files changed, 0 insertions, 0 deletions