diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-10-03 16:49:23 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-10-03 16:49:23 (GMT) |
| commit | 26edbc5b62418e0eea8bacb9f8c076c46ae51ed8 (patch) | |
| tree | bf5ba2ae907004a443a1dd0f2b384bc86e6d5ddc /config | |
| parent | 85b96f88feceb8049d49aa3a770a7a53a381ae04 (diff) | |
configure: split has_or_abort in two: one to check, one to abort
Split the has_or_abort function in two:
- one that checks if the tool if found,
- one that calls the above check, and aborts if not found
The rational behind this is to be able to check for a tool
and if not found, fallback to using our bundled version,
should the need arise (and I get time).
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions