configury: make build reproducible#3779

ggouaillardet wants to merge 1 commit intoopen-mpi:masteropen-mpi/ompi:masterfrom

ggouaillardet:topic/reproducible_buildggouaillardet/ompi:topic/reproducible_buildCopy head branch name to clipboard