owner=nathans@sgi.com
tmp=/tmp/$$
-here=`pwd`
+here=`pwd`; export here
status=1 # failure is the default!
# get standard environment, filters and checks
_merge_results()
{
echo Results for $bench benchmark >>$OUT
- echo results.$bench.* | sort -u | xargs cat >>$OUT
+ echo results.$bench.* | sort -nu | xargs cat >>$OUT
echo >>$OUT
}