Merge b3122e1 into merged_master (Bitcoin PR bitcoin/bitcoin#23543)

MichealSD13 · Jun 20, 2023 · ad73b28 · ad73b28
2 parents 97153c6 + b3122e1
commit ad73b28
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/test/lint/commit-script-check.sh b/test/lint/commit-script-check.sh
@@ -17,6 +17,11 @@ if test -z "$1"; then
     exit 1
 fi
 
+if ! sed --help 2>&1 | grep -q 'GNU'; then
+    echo "Error: the installed sed package is not compatible. Please make sure you have GNU sed installed in your system.";
+    exit 1;
+fi
+
 RET=0
 PREV_BRANCH=$(git name-rev --name-only HEAD)
 PREV_HEAD=$(git rev-parse HEAD)