From 03308b39ddfd823fb61ffad92a3eed37325e807f Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Tue, 20 May 2025 10:16:15 +0200 Subject: [PATCH] Pacify check_files.py Signed-off-by: Gilles Peskine --- scripts/search_outcomes_config.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/search_outcomes_config.py b/scripts/search_outcomes_config.py index 5ecc9a545..952d27c88 100755 --- a/scripts/search_outcomes_config.py +++ b/scripts/search_outcomes_config.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 """Search an outcome file for configurations with given settings. Read an outcome file and report the configurations in which test_suite_config