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 <[email protected]> _______________________________________________ Kea-users mailing list [email protected] https://lists.isc.org/mailman/listinfo/kea-users
