Ciao, Il 2020-02-17 20:34 Marc Glisse ha scritto: > easiest would be to rename the test from bit to something less common. Do you mean that we should $ hg rename tests/mpz/bit.c tests/mpz/t-bit.c $ sed -i orig 's/ bit / t-bit /' tests/mpz/Makefile.am ? Ĝis, m