#! /bin/sh dbname="postgres" function insert_result() { psql ${dbname} -f - > /dev/null </dev/null } function store_result() { local test_no=$1 local delratio=$2 scanned_bufs=`vac_with_bufs` insert_result $test_no $delratio 1 update_result_bufs $test_no $delratio 1 $scanned_bufs # scanned_bufs=`vac_with_bufs` # insert_result $test_no $delratio 2 # update_result_bufs $test_no $delratio 2 $scanned_bufs } function test1() { local delratio=$1 echo "test1 ratio = $delratio" psql ${dbname} -f - > /dev/null < /dev/null < /dev/null <