#!/bin/bash

# simple low precision timer that is just a wrapper for calling time -p on a
# program. Precision is limited to the precision of time -p

{ time -p $@ ; } 2>&1
