mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-16 13:01:19 +02:00
Merge a9011781fc into merged_master (Bitcoin PR bitcoin/bitcoin#29689)
This commit is contained in:
commit
0c5d8a9999
1 changed files with 5 additions and 0 deletions
|
|
@ -22,6 +22,11 @@ if ! sed --help 2>&1 | grep -q 'GNU'; then
|
|||
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)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue