diff Makefile @ 32673:9bb86c2a9dc5

Simplify a bunch of configure checks with the statement_check function.
author diego
date Wed, 05 Jan 2011 16:37:45 +0000
parents 85f0d7406e07
children 880e112a9a71
line wrap: on
line diff