On Sun Jul 28, 2024 at 1:03 PM EDT, Armin Preiml wrote:
> +hare run cmd/genoiddb < encoding/asn1/stdoid/db.txt \> + | diff encoding/asn1/stdoid/db.ha - > /dev/null \> + || (echo "Either something broke cmd/genoiddb or the database has to" \> + "be generated again." ; exit 1)
Instead of `diff > /dev/null`, you can use `cmp -s`, which will
immediately exit if the files differ.
i'd recommend hooking this into the same infrastructure we use for make
bootstrap: regenerate the ioddb in the ci build, then let it error out
when the git status turns out dirty