On Thu, Jan 09, 2014 at 07:50:35AM -0800, Craig Comstock wrote:
Make sure you aren't running "sudo make" as you mentioned before.. your root environment is probably not picking up your PATH to arm-elf-*
You can also just check in your shell to see if arm-elf-* is there by starting to type arm-elf and then hit tab... if nothing shows up you probably didn't setup PATH correctly.
I reproduced your error using "sudo make" with a fresh checkout/install on Debian
Why would one run 'sudo make'? I don't see a good reason to do so. Anyway, if you want to preserve your environment when running sudo, use 'sudo -E'.
Kind regards, -Alex