mirror of
https://github.com/bitcoin/bitcoin.git
synced 2026-09-11 21:20:39 +02:00
1194918a5d
There is no reason to avoid it nowadays. -BEGIN VERIFY SCRIPT- sed -i "s/\<export LC_ALL=C\>/export LC_ALL=C.UTF-8/g" \ $( git grep -l "^export LC_ALL=C$" -- ':!src/ipc/libmultiprocess' ':!src/minisketch' ':!src/secp256k1' ) -END VERIFY SCRIPT-
62 lines
2.3 KiB
Bash
Executable File
62 lines
2.3 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
# Copyright (c) 2017-present The Bitcoin Core developers
|
|
# Distributed under the MIT software license, see the accompanying
|
|
# file COPYING or http://www.opensource.org/licenses/mit-license.php.
|
|
|
|
# This simple script checks for commits beginning with: scripted-diff:
|
|
# If found, looks for a script between the lines -BEGIN VERIFY SCRIPT- and
|
|
# -END VERIFY SCRIPT-. If no ending is found, it reads until the end of the
|
|
# commit message.
|
|
|
|
# The resulting script should exactly transform the previous commit into the current
|
|
# one. Any remaining diff signals an error.
|
|
|
|
export LC_ALL=C.UTF-8
|
|
if test -z "$1"; then
|
|
echo "Usage: $0 <commit>..."
|
|
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
|
|
|
|
if ! grep --help 2>&1 | grep -q 'GNU'; then
|
|
echo "Error: the installed grep package is not compatible. Please make sure you have GNU grep installed in your system.";
|
|
exit 1;
|
|
fi
|
|
|
|
RET=0
|
|
PREV_BRANCH=$(git name-rev --name-only HEAD)
|
|
PREV_HEAD=$(git rev-parse HEAD)
|
|
for commit in $(git rev-list --reverse "$1"); do
|
|
if git rev-list -n 1 --pretty="%s" "$commit" | grep -q "^scripted-diff:"; then
|
|
git checkout --quiet "$commit"^ || exit
|
|
SCRIPT="$(git rev-list --format=%b -n1 "$commit" | sed '/^-BEGIN VERIFY SCRIPT-$/,/^-END VERIFY SCRIPT-$/{//!b};d')"
|
|
if test -z "$SCRIPT"; then
|
|
echo "Error: missing script for: $commit" >&2
|
|
echo "Failed" >&2
|
|
RET=1
|
|
else
|
|
echo "Running script for: $commit" >&2
|
|
echo "$SCRIPT" >&2
|
|
if bash -o errexit -o nounset -o pipefail -c "$SCRIPT" && git --no-pager diff --exit-code "$commit"; then
|
|
echo "OK" >&2
|
|
else
|
|
echo "Failed" >&2
|
|
RET=1
|
|
fi
|
|
fi
|
|
git reset --quiet --hard HEAD
|
|
else
|
|
if git rev-list "--format=%b" -n1 "$commit" | grep -q '^-\(BEGIN\|END\)[ a-zA-Z]*-$'; then
|
|
echo "Error: script block marker but no scripted-diff in title of commit $commit" >&2
|
|
echo "Failed" >&2
|
|
RET=1
|
|
fi
|
|
fi
|
|
done
|
|
git checkout --quiet "$PREV_BRANCH" 2>/dev/null || git checkout --quiet "$PREV_HEAD"
|
|
exit $RET
|