diff options
| author | Jeremy Rifkin <51220084+jeremy-rifkin@users.noreply.github.com> | 2023-01-17 12:31:49 -0500 |
|---|---|---|
| committer | Jeremy Rifkin <51220084+jeremy-rifkin@users.noreply.github.com> | 2023-01-17 12:31:49 -0500 |
| commit | 6207cb2d6e30d709c29175aa9a94707a0f9934d1 (patch) | |
| tree | 5e51c3ea00760b5452d128d3cf4f54f0c511d65d /lib/compilers/ppci.js | |
| parent | 68aa631366bfb5e6efd74f03326795e70894019a (diff) | |
| download | compiler-explorer-6207cb2d6e30d709c29175aa9a94707a0f9934d1.tar.gz compiler-explorer-6207cb2d6e30d709c29175aa9a94707a0f9934d1.zip | |
npm run lint to get const fixesgh-5871
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}`); |