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/java.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/java.js')
-rw-r--r-- | lib/compilers/java.js | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/lib/compilers/java.js b/lib/compilers/java.js index eefab8b30..18e89947f 100644 --- a/lib/compilers/java.js +++ b/lib/compilers/java.js @@ -99,7 +99,7 @@ class JavaCompiler extends BaseCompiler { const filteredOptions = []; let toSkip = 0; - const oneArgBlacklist = [ + const oneArgForbiddenList = [ // -d directory // Sets the destination directory for class files. "-d", @@ -108,13 +108,15 @@ class JavaCompiler extends BaseCompiler { "-s", // --source-path path or -sourcepath path // Specifies where to find input source files. - "--source-path", "-sourcepath"]; + "--source-path", "-sourcepath" + ]; + for (const userOption of userOptions) { if (toSkip > 0) { toSkip--; continue; } - if (oneArgBlacklist.indexOf(userOption) !== -1) { + if (oneArgForbiddenList.indexOf(userOption) !== -1) { toSkip = 1; continue; } |