aboutsummaryrefslogtreecommitdiff
path: root/lib/compilers/ppci.js
diff options
context:
space:
mode:
Diffstat (limited to 'lib/compilers/ppci.js')
-rw-r--r--lib/compilers/ppci.js2
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}`);