"Paul C. Leopardi" <leopardi@xxxxxxxxxxxxxx> writes: > Hi all, > Sorry to press this, but I'm still trying to figure out why "make > check-gcc-c++" uses the wrong g++ even though "make check-c++" uses the right > g++. Perhaps I should just submit a bug report? Please do.