Currently, if one edits config.def.h one must manually delete
config.h (or manually copy the former over the latter); this ensures
that changes force a 'regeneration' (really, a copy).
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 6158ab2..152c412 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ options:
        @echo "LDFLAGS  = ${LDFLAGS}"
        @echo "CC       = ${CC}"

-config.h:
+config.h: config.def.h
        cp config.def.h config.h

 .c.o:
--
2.1.4

Reply via email to