diff options
author | RabsRincon <ruben@rinconblanco.es> | 2020-06-15 12:47:31 +0200 |
---|---|---|
committer | RabsRincon <ruben@rinconblanco.es> | 2020-06-15 12:47:31 +0200 |
commit | b7fc8b1759b13ddbe84a38dcadff1539976f3f9e (patch) | |
tree | 9301dac694b8452de8e22b17370e6664da25810a /lib/compilers/ppci.js | |
parent | a86bf256b86c79ef5d506422c4b2083f5a187046 (diff) | |
download | compiler-explorer-b7fc8b1759b13ddbe84a38dcadff1539976f3f9e.tar.gz compiler-explorer-b7fc8b1759b13ddbe84a38dcadff1539976f3f9e.zip |
Ensure backend options are always generated
Diffstat (limited to 'lib/compilers/ppci.js')
-rw-r--r-- | lib/compilers/ppci.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/compilers/ppci.js b/lib/compilers/ppci.js index cb91d4220..0ad446071 100644 --- a/lib/compilers/ppci.js +++ b/lib/compilers/ppci.js @@ -26,7 +26,7 @@ const BaseCompiler = require('../base-compiler'), exec = require('../exec'), logger = require('../logger').logger; -const blacklist = [ +const forbiddenOptions = [ '--report', '--text-report', '--html-report' @@ -37,7 +37,7 @@ class PPCICompiler extends BaseCompiler { return args.filter((item) => { if (typeof item !== "string") return true; - return !blacklist.includes(item.toLowerCase()); + return !forbiddenOptions.includes(item.toLowerCase()); }); } |