Apologies - I jumped the gun. I'm afraid the problems persist:
//Here's me setting the PATH and verifying that "which" finds gcc:
david@david-VirtualBox:~$ cd /opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01/
david@david-VirtualBox:/opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01$ PATH=/opt/ti-sdk-am335x-evm-07.00.00.00/linux-devkit/sysroots/i686-arago-linux/usr/bin/:$PATH
david@david-VirtualBox:/opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01$ which arm-linux-gnueabihf-gcc
/opt/ti-sdk-am335x-evm-07.00.00.00/linux-devkit/sysroots/i686-arago-linux/usr/bin//arm-linux-gnueabihf-gcc
//Here's the issue, still present despite a second "which" that still finds it:
david@david-VirtualBox:/opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01$ sudo make ARCH=arm CROSS_COMPILE=arm-linux-gnueabihf- distclean
[sudo] password for david:
make: arm-linux-gnueabihf-gcc: Command not found
david@david-VirtualBox:/opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01$ which arm-linux-gnueabihf-gcc
/opt/ti-sdk-am335x-evm-07.00.00.00/linux-devkit/sysroots/i686-arago-linux/usr/bin//arm-linux-gnueabihf-gcc
//Here's me trying the entire absolute path
david@david-VirtualBox:/opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01$ sudo make ARCH=arm CROSS_COMPILE=/opt/ti-sdk-am335x-evm-07.00.00.00/linux-devkit/sysroots/i686-arago-linux/usr/bin/arm-linux-gnueabihf- distclean
david@david-VirtualBox:/opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01$ sudo make ARCH=arm CROSS_COMPILE=/opt/ti-sdk-am335x-evm-07.00.00.00/linux-devkit/sysroots/i686-arago-linux/usr/bin/arm-linux-gnueabihf- menuconfig
HOSTCC scripts/basic/fixdep
/bin/sh: 1: gcc: not found
make[1]: *** [scripts/basic/fixdep] Error 127
make: *** [scripts_basic] Error 2
david@david-VirtualBox:/opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01$ sudo make ARCH=arm CROSS_COMPILE=/opt/ti-sdk-am335x-evm-07.00.00.00/linux-devkit/sysroots/i686-arago-linux/usr/bin/arm-linux-gnueabihf- tisdk_am335x-evm_defconfig
HOSTCC scripts/basic/fixdep
/bin/sh: 1: gcc: not found
make[1]: *** [scripts/basic/fixdep] Error 127
make: *** [scripts_basic] Error 2
david@david-VirtualBox:/opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01$
//And I'm afraid that I still get a failure.
Note that I've completely reinstalled the SDK, and attempted many other fixes. May I trouble you for a second look at this?
Thanks!
David