tree 043acf672850ec946501d078f4fd49e87545cd1b
parent e9e8c8090e579da5b5f6d2437ecf271568d127ff
author Stefano Lattarini <stefano.lattarini@gmail.com> 1332780145 +0200
committer Junio C Hamano <gitster@pobox.com> 1332788619 -0700

configure: avoid some code repetitions thanks to m4_{push,pop}def

This change is just cosmetic, and should cause no semantic change, nor
any change in the generated configure script.

Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>