From 0512625db75cdfa748ed0c69a9ce8adb478d1386 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Mon, 11 Aug 2014 08:22:35 -0700 Subject: [PATCH 2/2] Improve checks for white space. * Makefile (check_white_space): Rename from check_tabs; all uses changed. Also check for trailing white space and for oddball ASCII white space characters. --- Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index e7f24c1..0c3263c 100644 --- a/Makefile +++ b/Makefile @@ -449,7 +449,7 @@ tzselect: tzselect.ksh <$? >$@ chmod +x $@ -check: check_character_set check_tabs check_tables check_web +check: check_character_set check_white_space check_tables check_web check_character_set: $(ENCHILADA) LC_ALL=en_US.utf8 && export LC_ALL && \ @@ -463,8 +463,10 @@ check_character_set: $(ENCHILADA) zone1970.tab && \ ! grep -Env $(VALID_LINE) $(ENCHILADA) -check_tabs: $(ENCHILADA) +check_white_space: $(ENCHILADA) ! grep -n ' '$(TAB_CHAR) $(ENCHILADA) + ! grep -n '[[:space:]]$$' $(ENCHILADA) + ! grep -n "$$(printf '[\f\r\v]\n')" $(ENCHILADA) check_tables: checktab.awk $(PRIMARY_YDATA) $(ZONETABLES) for tab in $(ZONETABLES); do \ -- 1.9.1