X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=345e3028a3c7380a865d33a25b08e468c2c83c84;hb=882da58ae6f34b4637240739ae37a1b5efd39cf6;hp=0596ba6a5739187669fdd42eb1f1d9b452bc775a;hpb=3552ea714b8a640d547de5783b394f08be252ae0;p=pspp

diff --git a/Makefile b/Makefile
index 0596ba6a57..345e3028a3 100644
--- a/Makefile
+++ b/Makefile
@@ -13,7 +13,9 @@ info html dvi pdf:
 	cd doc && $(MAKE) $@ && $(MAKE) mostlyclean
 
 # Perform some platform independent checks on the gnulib code.
-check: sc_prefer_ac_check_funcs_once
+check: \
+  sc_prohibit_augmenting_PATH_via_TESTS_ENVIRONMENT			\
+  sc_prefer_ac_check_funcs_once
 
 sc_prefer_ac_check_funcs_once:
 	if test -d .git; then						\
@@ -22,6 +24,14 @@ sc_prefer_ac_check_funcs_once:
                    in modules/ 1>&2; exit 1; } || :			\
 	else :; fi
 
+sc_prohibit_augmenting_PATH_via_TESTS_ENVIRONMENT:
+	if test -d .git; then						\
+          url=http://thread.gmane.org/gmane.comp.lib.gnulib.bugs/22874;	\
+	  git grep '^[	 ]*TESTS_ENVIRONMENT += PATH=' modules		\
+	    && { printf '%s\n' 'Do not augment PATH via TESTS_ENVIRONMENT;' \
+		 "  see <$$url>" 1>&2; exit 1; } || :			\
+	else :; fi
+
 # Regenerate some files that are stored in the repository.
 regen: MODULES.html