diff options
-rwxr-xr-x | util/getversion.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/getversion.sh b/util/getversion.sh index c19282d3bb..9eac163b17 100755 --- a/util/getversion.sh +++ b/util/getversion.sh @@ -98,7 +98,7 @@ main() { if [[ -n ${BOARD} ]]; then case "${BOARD}" in (cr50) - dir_list+=( ../../third_party/tpm2 ../../third_party/cryptoc ) + dir_list+=( ../../third_party/tpm2 ) ;; (*_fp) dir_list+=( ./private ) |