GNU Arm Embedded Toolchain

  1. Bug #1556257
  2. Comment #4

Comment 4 for bug 1556257

Revision history for this message
Thomas Preud'homme (thomas-preudhomme) wrote :

For Debian, do you use the Ubuntu toolchain or the one in the Debian archive? If you are unsure, please show us the output of:

apt-cache policy $(dpkg-query -S /usr/bin/arm-none-eabi-gcc | cut -d ':' -f 1)

Best regards