시간이 브런치를 실행할 수 없습니까?

Question

time 명령에 문제가 있습니다. /usr/bin/time을 사용하므로 -f 및 -o 수정자를 사용할 수 있습니다.

내 스크립트입니다 :

make clean 
repo sync -j5 
. ./platform_manifest/manual_add_kernel_manifest.sh \ 
    && . build/envsetup.sh \ 
    && /usr/bin/time -o log$day$month.log -f "Buildtime: %E" brunch aokp_mako-eng 

스크립트는 안드로이드 ROM에 대한 자동화 된 빌드 시스템의 일부입니다. 그것은 시간 부분에 도달하면

, 내가 얻을 :

/usr/bin/time: cannot run brunch: No such file or directory 
Command exited with non-zero status 127 
Buildtime: 0:00.00 

브런치은 일반 time 명령으로 잘 작동하지만 라우팅하지 난에 /usr/bin/time을 사용하고 왜 파일로 출력을 할 수 있습니다 처음. 이를 수행 할 방법이 있다면, 으로 real: 헤더를 잘라낼 수 있으므로 저로서는 괜찮습니다.

도움을 주시면 감사하겠습니다.

우분투 12.04, 모든 업데이트, 나는 brunch가 무엇인지,하지만 비 -builtin time 프로그램을 찾을 수있는 가능성이 가장 높은 이유가 없습니다

Answer 1

를 설치 한 경우에도 time을 내장 은입니다. 이것은 쉘 기능이거나 Bash 별명입니다.

그런지 여부. . .

[중 & hellip;] 나는하지 경로 파일에 [일반 time 명령의] 출력 할 수 있습니다 [중 & hellip]

당신은 쓸 수 있습니다 :

{ time brunch aokp_mako-eng ; } 2>"log$day$month.log" 

time을 래핑하는 (그리고 모든 else)를 STDERR이 이미 파일로 리디렉션 된 명령리스트에 추가하십시오.