--- ../bench/bench2.run.orig Tue Jul 24 14:02:20 2001 +++ ../bench/bench2.run Wed Sep 5 13:58:47 2001 @@ -1 +1 @@ -../bin/timer bench2 1 y +timer bench2 1 y