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
GitMake
#!/bin/sh
BRANCH=`git rev-parse --abbrev-ref HEAD`
make -f makefile.$BRANCH $@

Computing file changes ...