"date" zu ungenau

Hallo *, ich möchte die Zeit messen, die ein Bash-Befehl zur Ausführung benötigt. Wenn ich z.B. date; ls; date eingebe, dann zeigt sich daß "date" um so etwas zu messen zu ungenau ist. (Kleinste Zeiteinheit ist 1 Sekunde.) Die Ausführung von ls ist so schnell, daß das erste und das zweite "date" dieselbe Ausgabe ergibt. :-( Mit einem "man date" oder einem "apropos time" habe ich keine Lösung gefunden. Hätte da bitte jemand ein Tip...? Ralph