not quite clear, but jenkins needs this include it appears, and I don't here?

diff --git a/pdns/rec_channel_rec.cc b/pdns/rec_channel_rec.cc
index d719140dbe3c212d093f36dc3d81e23f1e66289c..b6a2e474f83a35370c3bc5e95ab716e071d57091 100644 (file)
--- a/pdns/rec_channel_rec.cc
+++ b/pdns/rec_channel_rec.cc
@@ -20,6 +20,7 @@
 #include "arguments.hh"
 #include <sys/resource.h>
 #include <sys/time.h>
+#include "lock.hh"
 #include "responsestats.hh"
 
 #include "namespaces.hh"