mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-13 12:33:42 +02:00
ae064874bc
Commit f471a3be00 currently has the text "scripted diff"
rather than "scripted-diff", which causes the scripted-diff linter to fail, saying
that it sees a script but not the magic words.
Changing the linter to detect "scripted diff" causes it to fail on this commit,
because the included script does not work. (For reference, the script is
r() { sed -i 's/vout must be positive/vout cannot be negative/g' $1 }
r $(git grep -l 'vout must be positive')
Bet you can't guess why bash rejects this without running it!)
We should remember to change this back.
47 lines
1.8 KiB
Bash
Executable file
47 lines
1.8 KiB
Bash
Executable file
#!/bin/sh
|
|
# Copyright (c) 2017-2019 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
|
|
if test "x$1" = "x"; then
|
|
echo "Usage: $0 <commit>..."
|
|
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 "x$SCRIPT" = "x"; then
|
|
echo "Error: missing script for: $commit"
|
|
echo "Failed"
|
|
RET=1
|
|
else
|
|
echo "Running script for: $commit"
|
|
echo "$SCRIPT"
|
|
(eval "$SCRIPT")
|
|
git --no-pager diff --exit-code $commit && echo "OK" || (echo "Failed"; false) || RET=1
|
|
fi
|
|
git reset --quiet --hard HEAD
|
|
elif [ "$commit" != "f471a3be00c2b6433b8c258b716982c0539da13f" ]; then
|
|
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"
|
|
echo "Failed"
|
|
RET=1
|
|
fi
|
|
fi
|
|
done
|
|
git checkout --quiet $PREV_BRANCH 2>/dev/null || git checkout --quiet $PREV_HEAD
|
|
exit $RET
|