#!/bin/sh
exec make history