#! /bin/sh

if [ ! -z $1 ] ; then
 cp -f Makefile.$1 Makefile
fi

make
