Нет такого файла или каталога при выполнении / usr / bin / time

Я строю свой собственный андроид. Чтобы его построить, мне нужно запустить

mka -j8 bacon

Однако я хотел измерить время, необходимое для его создания, поэтому я использовал

/usr/bin/time -f "User\t%U\nSys\t%S\nReal\t%E\nCPU\t%P" mka -j8 bacon

t run, потому что он говорит

/usr/bin/time: cannot run mka: No such file or directory

Любая помощь, как обойти это, оценивается!

Edit:

По какой-то причине использование make вместо mka работает, однако лучше использовать mka.

/usr/bin/time -f "User\t%U\nSys\t%S\nReal\t%E\nCPU\t%P" make -j8 bacon

Изменить: из mka

source build/evnsetup.sh - это команда, которую я запускаю до выполнения времени. Одна из этих добавленных функций evnsetup.sh - mka, можно ли это вызвать из команды time?

Редактировать 3: Вывод типа mka

$ type mka
mka is a function
mka () 
{ 
    case `uname -s` in 
        Darwin)
            make -j `sysctl hw.ncpu|cut -d" " -f2` "$@"
        ;;
        *)
            schedtool -B -n 1 -e ionice -n 1 make -j$(cat /proc/cpuinfo | grep "^processor" | wc -l) "$@"
        ;;
    esac
}