Oooh, thank you for your help!
On Tue, Mar 28, 2023 at 4:25 PM Jonathan Wakely <jwak...@redhat.com> wrote: > > On Tue, 28 Mar 2023 at 22:30, Ken Matsui via Libstdc++ > <libstd...@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. >
