diff options
Diffstat (limited to 'lib/compilers/ppci.js')
-rw-r--r-- | lib/compilers/ppci.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/compilers/ppci.js b/lib/compilers/ppci.js index d56860095..5eac3317d 100644 --- a/lib/compilers/ppci.js +++ b/lib/compilers/ppci.js @@ -51,7 +51,7 @@ export class PPCICompiler extends BaseCompiler { const pythonPath = matches[1]; const ppciName = `ppci.${matches[3].replace('/', '.')}`; options.env = {PYTHONPATH: pythonPath}; - let python_args = ['-m', ppciName].concat(args); + const python_args = ['-m', ppciName].concat(args); return exec.execute(python, python_args, options); } logger.error(`Invalid ppci path ${compiler}`); |