> Sorry for the stupid question. How do I pass this to the testsuite? For ACATS it's a little awkward: you manually need to add it to the gccflags variable in gcc/testsuite/ada/acats/run_all.sh -- Eric Botcazou