3
time -o $1.tmp -f "%U" ./litstr > /dev/null
4
time -a -o $1.tmp -f "%U" ./litstr > /dev/null
5
time -a -o $1.tmp -f "%U" ./litstr > /dev/null
7
echo "timed litstr user time (stresses regexec for literal regexps on long searches)" > $1
9
echo "2 k + + 3 / p" >> $1.tmp
10
echo -n "average: " >> $1