#!/bin/sh
rm $0
make
$0 $*
