Add header for kill() in USE_PASSWORD_SERVER case

ticket: new

git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@20347 dc483132-0cff-0310-8789-dd5450dbe970

diff --git a/src/lib/kadm5/srv/svr_principal.c b/src/lib/kadm5/srv/svr_principal.c
index 702c175b2ed820cfc8173e42124c99f1789907c5..e7c56633871a31c1fd4b0c5fad7ca32f38faf841 100644 (file)
--- a/src/lib/kadm5/srv/svr_principal.c
+++ b/src/lib/kadm5/srv/svr_principal.c
@@ -20,6 +20,8 @@ static char *rcsid = "$Header$";
 #include       <stdlib.h>
 #ifdef USE_PASSWORD_SERVER
 #include       <sys/wait.h>
+#include       <signal.h>
+
 #endif
 
 extern krb5_principal      master_princ;