Update gnulib files.

diff --git a/gl/gnulib.mk b/gl/gnulib.mk
index f3b4fb3a426c24b7b0860a26815bb6ac8e00de5c..7ef38354e64cd11fa743e01f371e6ca4b2359a8e 100644 (file)
--- a/gl/gnulib.mk
+++ b/gl/gnulib.mk
@@ -105,7 +105,7 @@ EXTRA_libgnu_la_SOURCES += getpass.c
 
 distclean-local: clean-GNUmakefile
 clean-GNUmakefile:
-       if test x"$(VPATH)" != x ; then rm -f $(top_srcdir)/GNUmakefile ; fi
+       test x'$(VPATH)' != x && rm -f $(top_builddir)/GNUmakefile || :
 
 EXTRA_DIST += $(top_srcdir)/GNUmakefile