build_inf_prepare_jenkins: fix a typo

No match.