diff options
Diffstat (limited to 'lib/compilers/ppci.js')
| -rw-r--r-- | lib/compilers/ppci.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/compilers/ppci.js b/lib/compilers/ppci.js index cd23c9121..9ff086d99 100644 --- a/lib/compilers/ppci.js +++ b/lib/compilers/ppci.js @@ -33,6 +33,8 @@ const forbiddenOptions = new Set([ ]); class PPCICompiler extends BaseCompiler { + static get key() { return 'ppci'; } + filterUserOptions(args) { return args.filter((item) => { if (typeof item !== 'string') return true; |