#! /bin/sh
./time-make clean
./time-make product
./time-make product null

