pilogo dei tempi nel formato portabile Posix
    
    Il valore della variabile TIMEFORMAT è usato come formato di output.
    
    Stato di uscita:
    Viene restituito lo stato della PIPELINE.