config/companion_libs/ppl.in
| author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Sat Oct 03 18:49:23 2009 +0200 (2009-10-03) |
| changeset 1560 |
79a609170a83 |
| parent 1324 |
48c12c696778
|
| child 1535 |
073d351bdcd3 |
| permissions |
-rw-r--r-- |
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).