2017-04-11 17:03:22 -03:00
|
|
|
#!/bin/sh
|
2021-07-28 07:57:16 -04:00
|
|
|
# Copyright (c) 2017-2021 The Bitcoin Core developers
|
2017-04-11 17:03:22 -03:00
|
|
|
# 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.
|
|
|
|
|
2018-06-13 10:50:48 -04:00
|
|
|
export LC_ALL=C
|
2021-11-07 09:13:39 -03:00
|
|
|
if test -z "$1"; then
|
2017-04-11 17:03:22 -03:00
|
|
|
echo "Usage: $0 <commit>..."
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
RET=0
|
2019-07-02 12:48:08 -04:00
|
|
|
PREV_BRANCH=$(git name-rev --name-only HEAD)
|
|
|
|
PREV_HEAD=$(git rev-parse HEAD)
|
2021-11-07 09:13:39 -03:00
|
|
|
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')"
|
2021-04-22 05:14:05 -04:00
|
|
|
if test -z "$SCRIPT"; then
|
2018-12-04 12:57:02 -03:00
|
|
|
echo "Error: missing script for: $commit"
|
2017-05-30 18:00:08 -04:00
|
|
|
echo "Failed"
|
|
|
|
RET=1
|
|
|
|
else
|
2018-12-04 12:57:02 -03:00
|
|
|
echo "Running script for: $commit"
|
2017-05-30 18:00:08 -04:00
|
|
|
echo "$SCRIPT"
|
2018-12-04 12:57:02 -03:00
|
|
|
(eval "$SCRIPT")
|
2021-11-07 09:13:39 -03:00
|
|
|
git --no-pager diff --exit-code "$commit" && echo "OK" || (echo "Failed"; false) || RET=1
|
2017-05-30 18:00:08 -04:00
|
|
|
fi
|
|
|
|
git reset --quiet --hard HEAD
|
|
|
|
else
|
2021-11-07 09:13:39 -03:00
|
|
|
if git rev-list "--format=%b" -n1 "$commit" | grep -q '^-\(BEGIN\|END\)[ a-zA-Z]*-$'; then
|
2020-10-03 08:49:43 -03:00
|
|
|
echo "Error: script block marker but no scripted-diff in title of commit $commit"
|
2017-05-30 18:00:08 -04:00
|
|
|
echo "Failed"
|
|
|
|
RET=1
|
|
|
|
fi
|
2017-04-11 17:03:22 -03:00
|
|
|
fi
|
|
|
|
done
|
2021-11-07 09:13:39 -03:00
|
|
|
git checkout --quiet "$PREV_BRANCH" 2>/dev/null || git checkout --quiet "$PREV_HEAD"
|
2017-04-11 17:03:22 -03:00
|
|
|
exit $RET
|