diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-09-12 20:44:15 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-09-12 20:44:15 (GMT) |
commit | f791f6b6bfaffb595c2ef228e599c889341cae3e (patch) | |
tree | 14fd99723c143554fd22b64378801d3680adbe29 /scripts/functions | |
parent | 2fe3a9dbbbee635b22d0f01de13a5e85c7f05f70 (diff) |
Sanitise ./configure a little bit.
Add a check for bash 3.0 or above.
Diffstat (limited to 'scripts/functions')
0 files changed, 0 insertions, 0 deletions