Diff

Differences From Artifact [6d290a2094]:

To Artifact [5324a34988]:


1


2
3
4
5
6
7
8
#! /bin/bash



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

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


>
>







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