# HG changeset patch # User Bram Moolenaar # Date 1400763266 -7200 # Node ID 1157079ca5f167bcf8746dfc52ea5a85e6c87a30 # Parent 2e4330207871d3f882dd713fe7606906151d0f0e updated for version 7.4.300 Problem: The way config.cache is removed doesn't always work. Solution: Always remove config.cache. (Ken Takata) diff --git a/src/Makefile b/src/Makefile --- a/src/Makefile +++ b/src/Makefile @@ -1664,12 +1664,11 @@ tools: $(TOOLS) # auto/config.h isn't updated. The dependency on auto/config.mk should make # sure configure is run when it's needed. # +# Remove the config.cache every time, once in a while it causes problems that +# are very hard to figure out. +# config auto/config.mk: auto/configure config.mk.in config.h.in - if test -f auto/config.cache && \ - grep '^ac_cv_env_CFLAGS_value=' auto/config.cache > /dev/null && \ - ! grep -x -F 'ac_cv_env_CFLAGS_value=$(CFLAGS)' auto/config.cache > /dev/null; then \ - rm auto/config.cache; \ - fi + -rm -f auto/config.cache if test "X$(MAKECMDGOALS)" != "Xclean" \ -a "X$(MAKECMDGOALS)" != "Xdistclean" \ -a "X$(MAKECMDGOALS)" != "Xautoconf" \ diff --git a/src/version.c b/src/version.c --- a/src/version.c +++ b/src/version.c @@ -735,6 +735,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 300, +/**/ 299, /**/ 298,