If nobody answers before Monday I'll look at Jenkins configs but I believe the corresponding make commands are explicitly called. I apologize but my phone is ringing...
Regards Francis Dupont <fdup...@isc.org> _______________________________________________ Kea-users mailing list Kea-users@lists.isc.org https://lists.isc.org/mailman/listinfo/kea-users