diff options
Diffstat (limited to 'automation/taskcluster/scripts/run_hacl.sh')
-rwxr-xr-x | automation/taskcluster/scripts/run_hacl.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/automation/taskcluster/scripts/run_hacl.sh b/automation/taskcluster/scripts/run_hacl.sh index ecedbaad0..6a186c04e 100755 --- a/automation/taskcluster/scripts/run_hacl.sh +++ b/automation/taskcluster/scripts/run_hacl.sh @@ -12,6 +12,9 @@ set -e -x -v # The extracted C code from HACL* is already generated and the HACL* tests were # successfully executed. +# Verify Poly1305 (doesn't work in docker image build) +make verify -C ~/hacl-star/code/poly1305 -j$(nproc) + # Format the extracted C code. cd ~/hacl-star/snapshots/nss cp ~/nss/.clang-format . |