diff options
| -rwxr-xr-x | scripts/diffcheck.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/diffcheck.sh b/scripts/diffcheck.sh index 3d8a9e5..aa9f557 100755 --- a/scripts/diffcheck.sh +++ b/scripts/diffcheck.sh @@ -9,6 +9,8 @@ if git checkout HEAD^ && scripts/buildtable.pl >/tmp/table.mediawiki 2>/dev/null echo "$newdiff" exit 1 fi + echo "README table matches expected table from BIP files" else echo 'Cannot build previous commit table for comparison' + exit 1 fi |