#!/bin/sh

echo
echo "--------------------------------------------------------"
echo "Warning: please use '$ make -f Makefile.cvs' instead ..."
echo "--------------------------------------------------------"
echo
make -f Makefile.cvs