2023-03-09 11:57:21 +09:00
|
|
|
#!/bin/bash
|
|
|
|
|
2024-04-24 19:13:48 -04:00
|
|
|
scripts/buildtable.pl >/tmp/table.mediawiki 2> /dev/null
|
2023-03-09 11:57:21 +09:00
|
|
|
diff README.mediawiki /tmp/table.mediawiki | grep '^[<>] |' >/tmp/after.diff || true
|
|
|
|
if git checkout HEAD^ && scripts/buildtable.pl >/tmp/table.mediawiki 2>/dev/null; then
|
|
|
|
diff README.mediawiki /tmp/table.mediawiki | grep '^[<>] |' >/tmp/before.diff || true
|
|
|
|
newdiff=$(diff -s /tmp/before.diff /tmp/after.diff -u | grep '^+')
|
|
|
|
if [ -n "$newdiff" ]; then
|
|
|
|
echo "$newdiff"
|
|
|
|
exit 1
|
|
|
|
fi
|
2024-04-24 19:11:06 -04:00
|
|
|
echo "README table matches expected table from BIP files"
|
2023-03-09 11:57:21 +09:00
|
|
|
else
|
|
|
|
echo 'Cannot build previous commit table for comparison'
|
2024-04-24 19:11:06 -04:00
|
|
|
exit 1
|
2023-03-09 11:57:21 +09:00
|
|
|
fi
|