From 74d3226325e273ab353c441a73e26bf7e5c7723c Mon Sep 17 00:00:00 2001
From: Stuart Pernsteiner <spernsteiner@galois.com>
Date: Mon, 9 Dec 2024 10:46:09 -0800
Subject: [PATCH] analyze: add #! and chmod +x some python scripts

---
 c2rust-analyze/scripts/auto_fix_errors.py      | 1 +
 c2rust-analyze/scripts/extract_working_defs.py | 1 +
 2 files changed, 2 insertions(+)
 mode change 100644 => 100755 c2rust-analyze/scripts/auto_fix_errors.py
 mode change 100644 => 100755 c2rust-analyze/scripts/extract_working_defs.py

diff --git a/c2rust-analyze/scripts/auto_fix_errors.py b/c2rust-analyze/scripts/auto_fix_errors.py
old mode 100644
new mode 100755
index c622faf20..2b9de0fd4
--- a/c2rust-analyze/scripts/auto_fix_errors.py
+++ b/c2rust-analyze/scripts/auto_fix_errors.py
@@ -1,3 +1,4 @@
+#!/usr/bin/env python3
 import argparse
 from collections import defaultdict, namedtuple
 import json
diff --git a/c2rust-analyze/scripts/extract_working_defs.py b/c2rust-analyze/scripts/extract_working_defs.py
old mode 100644
new mode 100755
index 0fab4986c..c073e6501
--- a/c2rust-analyze/scripts/extract_working_defs.py
+++ b/c2rust-analyze/scripts/extract_working_defs.py
@@ -1,3 +1,4 @@
+#!/usr/bin/env python3
 """
 Script for extracting defs on which rewriting succeeded.  Currently, this is
 specific to lighttpd_rust_amalgamated, but it could be generalized to work on