build_inf_debian.sh: add parallel option

No match.