From ef6085436e35bcbc32f7bb419d79ce7b8c17ec23 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Mon, 23 Feb 2026 13:44:50 +0100
Subject: [PATCH] Make scripts/diff-filter.pl portable to macOS

This change impact analysis helper used `sed` in ways not portable to
macOS.
---
 src/goto-diff/scripts/diff-filter.pl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/goto-diff/scripts/diff-filter.pl b/src/goto-diff/scripts/diff-filter.pl
index 9c54eced133..ec028b7bfdf 100755
--- a/src/goto-diff/scripts/diff-filter.pl
+++ b/src/goto-diff/scripts/diff-filter.pl
@@ -114,7 +114,8 @@
   {
     if($edits{$f}{$l} =~ /^[CDcd]$/)
     {
-      `sed -i '${l}s/^/$edits{$f}{$l}#/' $f_edit`;
+      `sed -i.bak '${l}s/^/$edits{$f}{$l}#/' $f_edit`;
+      unlink "$f_edit.bak";
     }
   }
 }