Hi Pádraig, The CI today reports a "make dist" failure:
make[2]: *** No rule to make target 'src/crc.h', needed by 'distdir-am'. Stop. make[2]: Leaving directory '/home/runner/work/ci-check/ci-check/coreutils' make[1]: *** [Makefile:24515: distdir] Error 2 make[1]: Leaving directory '/home/runner/work/ci-check/ci-check/coreutils' make: *** [Makefile:24623: dist] Error 2 It looks like a consequence of commit b545f6e6f3fcbd9cf5646fe1e4bf4a9d0c150c89. Bruno
