From e53c2028898a4e4dee76aec3220f98ee5d984ad0 Mon Sep 17 00:00:00 2001 From: Moritz Lipp Date: Thu, 8 Jul 2010 12:41:56 +0200 Subject: [PATCH] Updated Makefile Thanks to Sebastinas --- Makefile | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index f5acddc..a2712ec 100644 --- a/Makefile +++ b/Makefile @@ -28,8 +28,14 @@ options: ${OBJECTS}: config.h config.mk ${DOBJECTS}: config.h config.mk -config.h: - @cp config.def.h $@ +config.h: config.def.h + @if [ -f $@ ] ; then \ + echo "config.h exists, but config.def.h is newer. Please check your" \ + "config.h or ${PROJECT} might fail to build." ; \ + else \ + cp -p $< $@ ; \ + touch $@ ; \ + fi ${PROJECT}: ${OBJECTS} @echo CC -o $@