extlib is needed for CIL tools subdir
[ocaml-bitstring.git] / install-sh
2008-04-02 Richard W.M. JonesAutoconfify.