sh: comando de tempo não encontrado

Question

No llvm 3.0 test-suite, o trecho de código abaixo apresenta o seguinte erro no bash:

comando sh: time não encontrado

if [ "x$RHOST" = x ] ; then
  ( sh -c "$ULIMITCMD $TIMEIT -p sh -c '$COMMAND >$OUTFILE 2>&1 < $INFILE; echo exit \$?'" ) 2>&1 \
| awk -- '\
BEGIN     { cpu = 0.0; }
/^user/   { cpu += $2; print; }
!/^user/  { print; }
END       { printf("program %f\n", cpu); }' > $OUTFILE.time

em que $ TIMEIT = time.

Eu tentei alterar "sh -c" para "eval", mas o erro continuou.

Ao tentar resolver esse erro, notei algo engraçado que pode ou não ajudar a resolver isso: executando sh -c "time" funciona mas sh -c "time -p" não.

Algum de vocês tem alguma idéia de por que esse erro acontece e como eu resolvo isso?

Obrigado antecipadamente

    

Answer 1

Para responder isso aqui: time é uma palavra reservada em shells. Para usar o comando real, tente command time [options] [command] ou /usr/bin/time [options] [command] .

Fonte: link