From 1d956e86dd42e998dad49e8cff27b0b28907c147 Mon Sep 17 00:00:00 2001
From: Viktor Kovacs <viktorkovacs@gmail.com>
Date: Thu, 1 Apr 2021 16:27:58 +0200
Subject: [PATCH] Fix python runner script.

---
 tools/run_python.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/run_python.js b/tools/run_python.js
index 9b8f76c..f773eb3 100644
--- a/tools/run_python.js
+++ b/tools/run_python.js
@@ -1,8 +1,8 @@
 let cp = require ('child_process');
 let pythonExecutable = 'python';
-if (process.platform != 'win32') {
+if (process.platform !== 'win32') {
     pythonExecutable = 'python3';
 }
-cp.spawnSync ('python', process.argv.slice (2), {
+cp.spawnSync (pythonExecutable, process.argv.slice (2), {
     stdio: "inherit"
 });