Makefile: do not use check_config
|
|
test(1) only uses the second to compare two files dates.
|
test(1) also does a strict comparison wrt. dates.
|
|
But, on very fast systems, the configure and .config.mk
|
files may be created in the same second, and so would lead
|
to a false comparison of the files' dates.
|
|
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
|
|
diff -durN tvheadend-c84bc2b72b462ef2dbed305f3fd0bb3fa5046fc3.orig/Makefile tvheadend-c84bc2b72b462ef2dbed305f3fd0bb3fa5046fc3/Makefile
|
--- tvheadend-c84bc2b72b462ef2dbed305f3fd0bb3fa5046fc3.orig/Makefile 2014-03-09 14:47:43.780025330 +0100
|
+++ tvheadend-c84bc2b72b462ef2dbed305f3fd0bb3fa5046fc3/Makefile 2014-03-09 14:48:40.836539093 +0100
|
@@ -566,7 +566,7 @@
|
$(ROOTDIR)/configure $(CONFIGURE_ARGS)
|
|
# Binary
|
-${PROG}: .config.mk make_webui $(OBJS)
|
+${PROG}: make_webui $(OBJS)
|
$(pCC) -o $@ $(OBJS) $(CFLAGS) $(LDFLAGS)
|
|
# Object
|
