#!/bin/sh

if cmp -s Make.config config/$1
then
	:
else
	cp config/$1 Make.config
fi
