2023-03-09 11:57:21 +09:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
2026-10-23 17:49:57 +08:00
|
|
|
tmpdir=$(mktemp -d) || exit 1
|
|
|
|
|
trap 'rm -rf "$tmpdir"' EXIT
|
|
|
|
|
|
|
|
|
|
scripts/buildtable.pl >"$tmpdir/table.mediawiki" 2> /dev/null || exit 1
|
|
|
|
|
diff README.mediawiki "$tmpdir/table.mediawiki" | grep '^[<>] |' >"$tmpdir/after.diff" || true
|
|
|
|
|
newdiff=$(diff -s scripts/diffcheck.expected "$tmpdir/after.diff" -u | grep '^[-+]')
|
2025-12-20 13:18:41 +10:00
|
|
|
if [ -n "$newdiff" ]; then
|
|
|
|
|
echo "$newdiff"
|
2024-04-24 19:11:06 -04:00
|
|
|
exit 1
|
2023-03-09 11:57:21 +09:00
|
|
|
fi
|
2025-12-20 13:18:41 +10:00
|
|
|
echo "README table matches expected table from BIP files"
|
