X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=4722647ec359975d865c413dc5e821a4385177d3;hb=0ef31c6a7e21186dcb5f18d53ec132b56cdf2927;hp=0da864c6ac28b85341a9d967ede48f97eed42fa6;hpb=fac40623358b11e770df3ef686870632ef4fc104;p=pspp

diff --git a/Makefile b/Makefile
index 0da864c6ac..4722647ec3 100644
--- a/Makefile
+++ b/Makefile
@@ -32,6 +32,16 @@ sc_prefer_ac_check_funcs_once:
 		   in modules/ 1>&2; exit 1; } || :			\
 	else :; fi
 
+sc_prohibit_leading_TABs:
+	if test -d .git; then						\
+	  url=FIXME;							\
+	  git grep -l '^ *	' lib m4 tests				\
+            | grep -Ev '^m4/po\.m4|^lib/reg|Makefile|test-update-copyright' \
+            | grep .							\
+	    && { printf '*** %s\n' 'indent with spaces, not TABs;'	\
+		 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;	\
@@ -95,7 +105,7 @@ sc_cpp_indent_check:
             $$(cd ./modules; grep -ilrE '(meyering|blake)' .) \
           | sort -u \
           | grep '\.c$$' \
-          | grep -v '/getloadavg\.c$$' \
+          | grep -vE '/(stdio-(read|write)|getloadavg)\.c$$' \
           | xargs cppi -c
 
 # Ensure that the list of symbols checked for by the