- merge; service API change

[oweals/gnunet.git] / configure.ac

diff --git a/configure.ac b/configure.ac
index 7c10d07f163c7f1aaf2fbc52e421ef01afd09c93..924b06849caf6277ce523a0b6786c56a5c8debf2 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -1582,6 +1582,8 @@ src/gnsrecord/Makefile
 src/hello/Makefile
 src/identity/Makefile
 src/identity/identity.conf
+src/credential/Makefile
+src/credential/credential.conf
 src/include/Makefile
 src/integration-tests/Makefile
 src/json/Makefile