diff options
author | Natalia Kulatova <nkulatova@mozilla.com> | 2023-04-17 15:01:46 +0000 |
---|---|---|
committer | Natalia Kulatova <nkulatova@mozilla.com> | 2023-04-17 15:01:46 +0000 |
commit | 466ae9d2e877704f83ed017b8d47ce6b377f8587 (patch) | |
tree | 6d9e7b89c08aba207acc004433bfa76b657222be /automation | |
parent | 229a62b97dd13802c4fc07c289f59f4686a5d254 (diff) | |
download | nss-hg-466ae9d2e877704f83ed017b8d47ce6b377f8587.tar.gz |
Bug 1783647 - Integrate Vale Curve25519 r=nss-reviewers,bbeurdouche
Differential Revision: https://phabricator.services.mozilla.com/D153944
Diffstat (limited to 'automation')
-rwxr-xr-x | automation/taskcluster/scripts/run_hacl.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/automation/taskcluster/scripts/run_hacl.sh b/automation/taskcluster/scripts/run_hacl.sh index e414b9aa5..44bdb8388 100755 --- a/automation/taskcluster/scripts/run_hacl.sh +++ b/automation/taskcluster/scripts/run_hacl.sh @@ -36,7 +36,7 @@ for f in "${files[@]}"; do diff $hacl_file $f done -files=($(find ~/nss/lib/freebl/verified/ -type f -name '*.[ch]' -not -path "*/freebl/verified/internal/*")) +files=($(find ~/nss/lib/freebl/verified/ -type f -name '*.[ch]' -not -path "*/freebl/verified/internal/*" -not -path "*/freebl/verified/config.h")) for f in "${files[@]}"; do file_name=$(basename "$f") hacl_file=($(find ~/hacl-star/dist/mozilla/ ~/hacl-star/dist/karamel/ -type f -name $file_name -not -path "*/hacl-star/dist/mozilla/internal/*")) |