#!/bin/sh
time make -k &> make.out
joe make.out
