[ci] Run regtool under make -k
Now that regtool.py can fail (if something goes wrong when parsing or
generating), it's probably better to keep going for the other blocks
in CI.
Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>
diff --git a/ci/scripts/check-generated.sh b/ci/scripts/check-generated.sh
index 94897e4..bc237ba 100755
--- a/ci/scripts/check-generated.sh
+++ b/ci/scripts/check-generated.sh
@@ -5,28 +5,28 @@
# Check generated files are up to date
-make -C hw regs && git diff --exit-code
+make -k -C hw regs && git diff --exit-code
if [[ $? != 0 ]]; then
echo -n "##vso[task.logissue type=error]"
echo "Register headers not up-to-date. Regenerate them with 'make -C hw regs'."
exit 1
fi
-make -C hw top && git diff --exit-code
+make -k -C hw top && git diff --exit-code
if [[ $? != 0 ]]; then
echo -n "##vso[task.logissue type=error]"
echo "Autogenerated tops not up-to-date. Regenerate with 'make -C hw top'."
exit 1
fi
-make -C hw otp-mmap && git diff --exit-code
+make -k -C hw otp-mmap && git diff --exit-code
if [[ $? != 0 ]]; then
echo -n "##vso[task.logissue type=error]"
echo "Autogenerated OTP memory map files not up-to-date. Regenerate with 'make -C hw otp-mmap'."
exit 1
fi
-make -C hw lc-state-enc && git diff --exit-code
+make -k -C hw lc-state-enc && git diff --exit-code
if [[ $? != 0 ]]; then
echo -n "##vso[task.logissue type=error]"
echo "Autogenerated LC state not up-to-date. Regenerate with 'make -C hw lc-state-enc'."
