Diff

Differences From Artifact [9fea13231c]:

To Artifact [9fee736440]:


1
2
3
4
5
6
7
8
9
10
11
12
13
#! /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





|







1
2
3
4
5
6
7
8
9
10
11
12
13
#! /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