Revision c3f5d3d93ac81c2866a739f1981d948e6aba1fde authored by Dr. Stephen Henson on 23 February 2014, 13:46:52 UTC, committed by Dr. Stephen Henson on 23 February 2014, 13:49:21 UTC
When setting the current certificate check that it has a corresponding private key. (cherry picked from commit 358d352aa244b4f2ef655bccff6658d92d5ce03c)
1 parent c5ea65b
GitConfigure
#!/bin/sh
BRANCH=`git rev-parse --abbrev-ref HEAD`
./Configure $@ no-symlinks
make files
util/mk1mf.pl OUT=out.$BRANCH TMP=tmp.$BRANCH INC=inc.$BRANCH copy > makefile.$BRANCH
make -f makefile.$BRANCH init

Computing file changes ...