mrrl

commit 15aa7f13c847c76f9fca45aa903a3874e87b0328
parent d61a9689558d65043dc4b1f600eaa30f2ce96eff
Author: Jan Pobrislo <ccx@te2000.cz>
Date:   Wed, 30 Apr 2025 20:12:43 +0000

Incorporate pthbs check tool

Diffstat:
M
util/generate-and-commit
 | 
1
+
M
util/verify-generated-packages
 | 
1
+

2 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/util/generate-and-commit b/util/generate-and-commit
@@ -1,6 +1,7 @@
 #!/bin/sh -xe
 cd "$(dirname "$0")/.."
 env pthbs_genpkgpy_submodule_source=current ./util/generate-packages
+make check
 git commit -a "$@"
 git push origin trunk
 ./util/submodules-update-branch
diff --git a/util/verify-generated-packages b/util/verify-generated-packages
@@ -2,3 +2,4 @@
 cd "$(dirname "$0")/.."
 env pthbs_genpkgpy_submodule_source=cached ./util/generate-packages
 git status variants
+make check