On Fri, 18 Dec 2020 at 11:54, Alex Bennée <alex.ben...@linaro.org> wrote: > > > Peter Maydell <peter.mayd...@linaro.org> writes: > > No, the 'alldbg' build is the one that does do a 'make clean'; > > the build-not-from-clean build worked (presumably because the > > old executable was still left in place from the previous build). > > Hmm I wonder if it's related to the configure options then. What's your > configure setup for that build?
'../../configure' '--cc=ccache gcc' '--enable-debug' '--python=python3' -- PMM