diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-06-25 14:40:07 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-06-25 14:40:07 +0000 |
| commit | b5a0efe8c866e297eaa885d56d34e62b78cb387d (patch) | |
| tree | 4d1ce8224080a881e27386be181777e3e8ac177d /otherlibs/unix | |
| parent | b40f5fe1204f68b12751db0dd7050da9d4086518 (diff) | |
Remplacement de config/auto-aux/config.* par config/gnu/config.*. But: se resynchroniser sur les sources FSF courants de ces scripts, avec le moins de modifications de notre part. En consequence, petits changements dans configure pour s'adapter aux differences dans la sortie de config.guess
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3555 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix')
0 files changed, 0 insertions, 0 deletions