summaryrefslogtreecommitdiff
blob: 52920e906eee069ce4174f2c2d0f8da8caa265c4 (plain)
1
2
3
4
5
6
7
8
9
10
11
--- a/langkit/compile_context.py	2018-07-04 19:17:08.329346507 +0200
+++ b/langkit/compile_context.py	2018-07-04 19:17:57.276615724 +0200
@@ -1684,7 +1684,7 @@
             generate_lexer
         ):
             quex_py_file = path.join(os.environ["QUEX_PATH"], "quex-exe.py")
-            subprocess.check_call([sys.executable, quex_py_file, "-i",
+            subprocess.check_call(["quex", "-i",
                                    quex_file,
                                    "-o", "quex_lexer",
                                    "--buffer-element-size", "4",