X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=Makefile;h=c178205a447e15bf33a37fddde16447fdd0f6af7;hb=d1d75d5540bf75df8bc41c85b5a9fd111ca1f2dd;hp=acdb23d2f94672f4d7b02b8babc34e7df9bd7029;hpb=ab20cf481c19c7a240d3e27d556bafe281d17f5b;p=gnulib.git

diff --git a/Makefile b/Makefile
index acdb23d2f..c178205a4 100644
--- a/Makefile
+++ b/Makefile
@@ -13,7 +13,12 @@ info html dvi pdf:
 	cd doc && $(MAKE) $@ && $(MAKE) mostlyclean
 
 # Perform some platform independent checks on the gnulib code.
-check:
+check: sc_prefer_ac_check_funcs_once
+
+sc_prefer_ac_check_funcs_once:
+	git grep -w -l AC_CHECK_FUNCS modules && \
+	  { echo use AC_CHECK_FUNCS_ONCE, not AC_CHECK_FUNCS in modules/ 1>&2; \
+	    exit 1; } || :
 
 # Regenerate some files that are stored in the repository.
 regen: MODULES.html