diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-05-01 16:16:53 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-05-01 16:16:53 (GMT) |
| commit | 2d7f8ef60f5769b73620075362ce6b9a36c59320 (patch) | |
| tree | b4cd301c0bd3c67ca7c777c53917ce642338c824 /config | |
| parent | 458e7dc8c548963a4709cdbe212a91b84be03be2 (diff) | |
configure:
- replace the complex TOOLS_TO_CHECK infrastructure
with a more versatile has_or_abort function
- allows for more explicit error messages
-------- diffstat follows --------
/trunk/configure | 301 146 155 0 ++++++++++++++++++++++++++++++--------------------------------
1 file changed, 146 insertions(+), 155 deletions(-)
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions