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