From 9cfdf401d05fbc60ac42b345f4f1e279d0fc1294 Mon Sep 17 00:00:00 2001 From: thesayfulla Date: Wed, 20 Mar 2024 19:41:00 +0500 Subject: [PATCH] added shebang to run python scripts --- util/compare_gnu_result.py | 2 +- util/size-experiment.py | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/util/compare_gnu_result.py b/util/compare_gnu_result.py index 704951863..0ea55210d 100755 --- a/util/compare_gnu_result.py +++ b/util/compare_gnu_result.py @@ -1,4 +1,4 @@ -#! /usr/bin/python +#!/usr/bin/env python3 """ Compare the current results to the last results gathered from the main branch to highlight diff --git a/util/size-experiment.py b/util/size-experiment.py index 3a321c1b2..2b1ec0fce 100644 --- a/util/size-experiment.py +++ b/util/size-experiment.py @@ -1,3 +1,4 @@ +#!/usr/bin/env python3 # spell-checker:ignore debuginfo import subprocess from itertools import product