On Fri, 2013-12-06 at 14:21 +0100, Éloi Rivard wrote: > I have created a branch "distcheck" on the repository. > On this branch, make check and make distcheck test both pass. > As I have edited some autotools related file, I think I worth > some tests before I push it in master. > > Can you please check ?
I presume you have already merged with master? "git checkout distcheck" did not work, but on master the Debian package is now built without problems. Thank you! Andreas _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
