Jakub, I don't believe I'm using ALT_CC_UNDER_TEST or ALT_CC_UNDER_TEST. However I do have to explicitly pass -m64 so that I test that compile flag at the same time I pass -DDBG. I haven't been able to puzzle out an invocation of make check that does that. If I use...
make -k check-gcc RUNTESTFLAGS="struct-layout-1.exp --target_board=unix/'-m64 -DDBG'" it thinks I want to run unix/-m64 and unix/-DDBG when actually I want both to get passed at the same time. Any ideas? Jack