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