On Godement's characterisation of amenability

Motivated by a question related to the construction of the Baum-Connes analytical assembly map for locally compact groups, we refine a criterion of Godement for amenability: for a unimodular group G, our criterion says that G is amenable if and only if every compactly supported, positive-definite function has non-negative integral over G.