1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/ait/poc/misc/benchmark.bash	Sat May 04 12:03:46 2013 -0400
     1.3 @@ -0,0 +1,7 @@
     1.4 +#!/bin/bash
     1.5 +START=$(date +%s)
     1.6 +$1
     1.7 +END=$(date +%s)
     1.8 +DIFF=$(( $END - $START))
     1.9 +echo  "it took $DIFF seconds"
    1.10 +