From b4373ce309c6d3671ed40ee66cc3d11d619a2430 Mon Sep 17 00:00:00 2001
From: Brooks Davis <brooks@FreeBSD.org>
Date: Wed, 19 Apr 2023 16:58:46 +0100
Subject: [PATCH] Cirrus-CI: Check that make sysent was run

Run the `make sysent` target and verify that the repo isn't modified
afterwards.  This ensures that a pushed branch contains all the
required bits after a change to syscall.master.

Reviewed by:	emaste
Sponsored by:	DARPA
Differential Revision:	https://reviews.freebsd.org/D39680
---
 .cirrus.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.cirrus.yml b/.cirrus.yml
index 7adcaf041758..0898554f5296 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -31,7 +31,7 @@ task:
       TOOLCHAIN_PKG: amd64-gcc12
   timeout_in: 120m
   install_script:
-  - sh .cirrus-ci/pkg-install.sh ${TOOLCHAIN_PKG}
+  - sh .cirrus-ci/pkg-install.sh ${TOOLCHAIN_PKG} git-lite
 
   setup_script:
   - uname -a
@@ -55,6 +55,11 @@ task:
   - sh .cirrus-ci/pkg-install.sh qemu-nox11
   - sh tools/boot/ci-qemu-test.sh
 
+  make_sysent_script:
+  # Check that make sysent results were committed if required
+  - make sysent
+  - if ! git diff --exit-code; then printf "\n>>> Generated sysent files not updated, run make sysent <<<\n"; false; fi
+
   post_script:
   - df -m
   - du -m -s /usr/obj