30 Aug
2006
30 Aug
'06
4:13 p.m.
"Akim" == Akim Demaille <akim@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'