Artifact [9fee736440]

Artifact 9fee736440cbb06475ee85e5d8c460e83828a5e2:


#! /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