On Tue, 28 Mar 2023 at 22:30, Ken Matsui via Libstdc++ <libstdc++@gcc.gnu.org> wrote: > > Hi François, > > I tried to use `make check-debug`, but my Makefile does not include > the target. Could you please tell me how you generated your Makefile? It's a target in the libstdc++ makefile, so you need to run it from the $target/libstdc++-v3 directory.