>> "Akim" == Akim Demaille
<akim(a)lrde.epita.fr> writes:
J'ai un autre problème : les échecs de distcheck sont ignorés. Je
regrette par ailleurs que Vaucanson ne tourne pas make check. Je
sais, c'est dans distcheck, mais quand même, je préfère.
https://build.lrde.org/?tree=vaucanson&host=brasilia
distcheck PASSED
mais en bas (et en jaune, donc bien détecté comme erreur) :
/bin/sh: line 7: cd: vaucanswig: No such file or directory
make: *** [distdir] Error 1
make: Target `distcheck' not remade because of errors.
make: Leaving directory `/home/build/build_farm/build/vaucanson/_build'