#!/bin/sh

echo configure $@
cp Makefile.dist Makefile
