diff options
| -rw-r--r-- | tools/makemanifest.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/makemanifest.py b/tools/makemanifest.py index 3a5e230d8..90cec2bb4 100644 --- a/tools/makemanifest.py +++ b/tools/makemanifest.py @@ -270,13 +270,13 @@ def main(): return # Freeze paths as strings - res, output_str = system([MAKE_FROZEN] + str_paths) + res, output_str = system([sys.executable, MAKE_FROZEN] + str_paths) if res != 0: print('error freezing strings {}: {}'.format(str_paths, output_str)) sys.exit(1) # Freeze .mpy files - res, output_mpy = system([MPY_TOOL, '-f', '-q', args.build_dir + '/genhdr/qstrdefs.preprocessed.h'] + mpy_files) + res, output_mpy = system([sys.executable, MPY_TOOL, '-f', '-q', args.build_dir + '/genhdr/qstrdefs.preprocessed.h'] + mpy_files) if res != 0: print('error freezing mpy {}: {}'.format(mpy_files, output_mpy)) sys.exit(1) |