1
2
3
4
5
6
7
8
9
|
#! /bin/bash
ourdir="$(dirname "$(which "$0")")"
cd "${outdir}" || exit 1
make -C certs/dod distclean all
make -C certs/federal distclean all
./certs-to-c certs/*/*.crt > ../cackey_builtin_certs.h
|
>
>
>
>
>
>
>
>
|
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#! /bin/bash
set -e
ourdir="$(dirname "$(which "$0")")"
cd "${outdir}" || 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
|