autoconf: Replace --disable-tools option with --disable-scepclient

Since using a separate option for pki this was the only tool that was still enabled by that option.
2014-06-30 13:25:13 +02:00
parent 45f647c9cd
commit 3986c1e3fd
9 changed files with 24 additions and 24 deletions
@@ -15,11 +15,11 @@ options = \
 	options/manager.opt \
 	options/medsrv.opt \
 	options/pacman.opt \
-	options/pool.opt \
-	options/starter.opt \
-	options/tnc.opt \
 	options/pki.opt \
-	options/tools.opt
+	options/pool.opt \
+	options/scepclient.opt \
+	options/starter.opt \
+	options/tnc.opt

 plugins = \
 	plugins/android_log.opt \