getversion.sh: Add cryptoc git hash for fingerprint
BRANCH=none
TEST=make BOARD=dartmonkey && strings build/dartmonkey/ec.bin | grep dart
@@ -105,6 +105,9 @@ main() {
dir_list+=( ../../third_party/tpm2 ../../third_party/cryptoc )
;;
(*_fp|dartmonkey|bloonchipper)
+ if [[ -d ../../third_party/cryptoc ]]; then
+ dir_list+=( ../../third_party/cryptoc )
+ fi
if [[ -d ./private ]]; then
dir_list+=( ./private )
fi
