hare

commit 0e283566910a912eb43187d93c5dae3231352c3d
parent d597e821bf0944b0ec59158139410cfef0098dab
Author: Armin Preiml <apreiml@strohwolke.at>
Date:   Mon, 29 Jul 2024 07:17:25 +0200

build: verify the stdoid database

to catch accidental breakages or format changes during build.

Signed-off-by: Armin Preiml <apreiml@strohwolke.at>

Diffstat:
M
.builds/alpine.yml
 | 
8
++++++++

1 file changed, 8 insertions(+), 0 deletions(-)
diff --git a/.builds/alpine.yml b/.builds/alpine.yml
@@ -68,6 +68,14 @@ tasks:
         echo "bootstrap makefiles out of date, run make bootstrap to regenerate"
         exit 1
     fi
+- genoiddb: |
+    cd hare
+    hare run cmd/genoiddb < encoding/asn1/stdoid/db.txt > encoding/asn1/stdoid/db.ha
+    if [ -n "$(git status --porcelain)" ]
+    then
+        echo "Either encoding/asn1/stdoid/db.ha is out of date or something broke genoiddb"
+        exit 1
+    fi
 - docs: |
     cd hare
     make docs/html