build: add si-check.py to EXTRA_DIST

This commit is contained in:
willcl-ark 2022-12-12 10:25:08 +00:00
parent 6f7cecafe7
commit 4684a21d00
No known key found for this signature in database
GPG Key ID: CE6EC49945C17EA6
1 changed files with 1 additions and 0 deletions

View File

@ -48,6 +48,7 @@ DIST_SHARE = \
$(top_srcdir)/share/rpcauth
BIN_CHECKS=$(top_srcdir)/contrib/devtools/symbol-check.py \
$(top_srcdir)/contrib/devtools/special-instruction-check.py \
$(top_srcdir)/contrib/devtools/security-check.py \
$(top_srcdir)/contrib/devtools/utils.py