configure: Separate pki from --disable-tools

While pki builds and runs just fine on Windows, this is not true for scepclient.
2014-06-04 15:53:08 +02:00
parent 41bb8ba5d2
commit b70849ada2
5 changed files with 13 additions and 6 deletions
@@ -18,6 +18,7 @@ options = \
 	options/pool.opt \
 	options/starter.opt \
 	options/tnc.opt \
+	options/pki.opt \
 	options/tools.opt

 plugins = \