[S] Change in osmo-bsc[master]: contrib/jenkins.sh: deduplicate configure flags