Diff

Differences From Artifact [6d290a2094]:

To Artifact [5324a34988]:


1


2
3
4
5
6
7
8
1
2
3
4
5
6
7
8
9
10

+
+







#! /bin/bash

set -e

ourdir="$(dirname "$(which "$0")")"
cd "${outdir}" || exit 1

make -C certs/dod distclean all
make -C certs/federal distclean all