From f228e1f62b14fa4ba378f5a4214ba16d7feecfd2 Mon Sep 17 00:00:00 2001 From: Martin Diehl Date: Sun, 17 Nov 2024 08:25:48 +0100 Subject: [PATCH] more common executable name "python" might point to python 2 or might not be available at all. https://askubuntu.com/questions/1296790 --- run_tests.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run_tests.py b/run_tests.py index 1c07e84..89fe803 100755 --- a/run_tests.py +++ b/run_tests.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 """ This is the entry point for running the compiler test framework. """