Ludovic Courtès <l...@gnu.org> skribis: > Maxime Devos <maximede...@telenet.be> 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’.
