commit 0f9fe0aaca62ba911251216d1d38b0a663dcbb3a
author Rupert Swarbrick <rswarbrick@lowrisc.org> Thu Nov 11 07:58:06 2021 +0000
committer Rupert Swarbrick <rswarbrick@gmail.com> Tue Nov 16 17:14:24 2021 +0000
tree 4cfc164d5645c9ae8aa50b35553ade1c69e998c3
parent e27eae33dd0f1108337da661729501c742034598

[ci] Add gen-mubi.py to CI

Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>

ci/scripts/check-generated.sh

diff --git a/ci/scripts/check-generated.sh b/ci/scripts/check-generated.sh
index ca2352b..b4e8046 100755
--- a/ci/scripts/check-generated.sh
+++ b/ci/scripts/check-generated.sh
@@ -67,3 +67,11 @@
   echo "Regenerate with 'util/make_new_dif.py --mode=regen --only=autogen'."
   exit 1
 fi
+
+util/design/gen-mubi.py && is_clean
+if [[ $? != 0 ]]; then
+  echo -n "##vso[task.logissue type=error]"
+  echo "MUBI package not up-to-date."
+  echo "Regenerate with 'util/design/gen-mubi.py'."
+  exit 1
+fi