On 12/4/06, Tiago Barcellos Peczenyj <[EMAIL PROTECTED]> wrote: > o time comando interno do bash é dificil (talvez impossivel) de redirecionar > o seu resultado. > o time comando externo (presente no /usr/bin/time) possui uma opção chamada
Legal! Não sabia que existiam dois times ;-)... Era esse mesmo que eu estava procurando quando dei a resposta hehehe ;-)
