From de2c1beae4690626597b50abdba9feb38a5be5f7 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sat, 21 Aug 2021 05:49:05 -0300
Subject: aux/: Update

---
 aux/workflow/repocheck.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'aux/workflow/repocheck.sh')

diff --git a/aux/workflow/repocheck.sh b/aux/workflow/repocheck.sh
index 5f83708..688410a 100755
--- a/aux/workflow/repocheck.sh
+++ b/aux/workflow/repocheck.sh
@@ -167,9 +167,10 @@ assert_clean_checkout() {
 	cd "$CHECKOUTDIR"
 
 	FILECOUNT="$(find . -type f | wc -l)"
-	make check clean
+	make clean public dev-check
+	make clean
 	if [ "$FILECOUNT" != "$(find . -type f | wc -l)" ]; then
-		echo 'File count mismatch after "make check clean".' >&2
+		echo 'File count mismatch after "make clean".' >&2
 		echo "Checkout directory: $CHECKOUTDIR" >&2
 		exit 1
 	fi
-- 
cgit v1.2.3