Ludovic Courtès <[email protected]> skribis: > Maxime Devos <[email protected]> skribis: > >> That looks like the earlier issue we had with "objdump" vs. "TARGET-objdump" >> ... >> Maybe a similar fix is possible? > > Yes, indeed. The attached patch does that and fixes the issue.
Pushed as 145a5a5797f0f673c817d99760d1c1e5d71aa11c. Ludo’.
