fix and ensure consistent lines

2025-07-14 05:34:38 +03:00 · 2024-02-14 17:43:21 +01:00
parent 67300969c1
commit 8046b323fb
2 changed files with 6 additions and 2 deletions
--- a/rfc/Makefile
+++ b/rfc/Makefile
@ -8,3 +8,7 @@ link:

 genxr:
 	go run xr.go -- xr/dev $$(git rev-parse --short HEAD) $$(git log -1 --date=format:"%Y-%m-%d" --format="%ad") $$(git tag | tail -n1) ../*.go ../*/*.go
+
+check:
+	# output should be empty
+	-grep '	' index.txt  | grep -E -v '^[^	]+	[^	]+	[^	]+	[^	]+$$'