Meta/Dothem: run hdr-check locally

2022-01-24 10:32:50 -08:00 · 2022-01-24 10:32:50 -08:00 · d786c64cd6
parent 4401f32e03
commit d786c64cd6
1 changed files with 2 additions and 0 deletions
--- a/2
+++ b/2
@ -209,6 +209,8 @@ do

 		Meta/Make $M $jobs -- SPARSE_FLAGS=-Wsparse-error sparse &&

+		Meta/Make $M $jobs -- hdr-check &&
+
 		Meta/Make $M $noprove ${test+"$test"} $jobs $test_long $memtrash \
 		    -- ${with_dash:+SHELL_PATH=/bin/dash} "$@" $dotest &&