File build/builtin-certs-update artifact 9fee736440 part of check-in aeca5bf8e3
#! /bin/bash set -e ourdir="$(dirname "$(which "$0")")" cd "${ourdir}" || exit 1 make -C certs/dod distclean all make -C certs/federal distclean all if [ "$1" = '--commercial' ]; then commercial='commercial' else commercial='SKIP' fi ./certs-to-c certs/{dod,federal,$commercial}/*.crt > ../cackey_builtin_certs.h