2017-05-07 09:59:42 +02:00
|
|
|
#!/bin/sh
|
|
|
|
# Copyright (c) 2017 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.
|
|
|
|
|
2018-06-18 13:12:07 +02:00
|
|
|
export LC_ALL=C
|
2021-05-05 13:12:04 +02:00
|
|
|
if test -z "$1"; then
|
2017-05-07 09:59:42 +02:00
|
|
|
echo "Usage: $0 <commit>..."
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
2022-01-24 12:22:04 +01:00
|
|
|
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
|
|
|
|
|
2017-05-07 09:59:42 +02:00
|
|
|
RET=0
|
2019-07-05 03:00:44 +02:00
|
|
|
PREV_BRANCH=$(git name-rev --name-only HEAD)
|
|
|
|
PREV_HEAD=$(git rev-parse HEAD)
|
|
|
|
for commit in $(git rev-list --reverse $1); do
|
2018-12-06 15:30:37 +01:00
|
|
|
if git rev-list -n 1 --pretty="%s" $commit | grep -q "^scripted-diff:"; then
|
|
|
|
git checkout --quiet $commit^ || exit
|
2019-07-05 03:00:44 +02:00
|
|
|
SCRIPT="$(git rev-list --format=%b -n1 $commit | sed '/^-BEGIN VERIFY SCRIPT-$/,/^-END VERIFY SCRIPT-$/{//!b};d')"
|
2021-05-05 13:12:04 +02:00
|
|
|
if test -z "$SCRIPT"; then
|
2018-12-06 15:30:37 +01:00
|
|
|
echo "Error: missing script for: $commit"
|
2017-06-13 20:41:12 +02:00
|
|
|
echo "Failed"
|
|
|
|
RET=1
|
|
|
|
else
|
2018-12-06 15:30:37 +01:00
|
|
|
echo "Running script for: $commit"
|
2017-06-13 20:41:12 +02:00
|
|
|
echo "$SCRIPT"
|
2018-12-06 15:30:37 +01:00
|
|
|
(eval "$SCRIPT")
|
|
|
|
git --no-pager diff --exit-code $commit && echo "OK" || (echo "Failed"; false) || RET=1
|
2017-06-13 20:41:12 +02:00
|
|
|
fi
|
|
|
|
git reset --quiet --hard HEAD
|
|
|
|
else
|
2018-12-06 15:30:37 +01:00
|
|
|
if git rev-list "--format=%b" -n1 $commit | grep -q '^-\(BEGIN\|END\)[ a-zA-Z]*-$'; then
|
2020-10-04 09:09:36 +02:00
|
|
|
echo "Error: script block marker but no scripted-diff in title of commit $commit"
|
2017-06-13 20:41:12 +02:00
|
|
|
echo "Failed"
|
|
|
|
RET=1
|
|
|
|
fi
|
2017-05-07 09:59:42 +02:00
|
|
|
fi
|
|
|
|
done
|
|
|
|
git checkout --quiet $PREV_BRANCH 2>/dev/null || git checkout --quiet $PREV_HEAD
|
|
|
|
exit $RET
|