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