From 4e3bba0c3f7f67c1b05a11c4373c8daf61e8c257 Mon Sep 17 00:00:00 2001 From: mrdudz Date: Sun, 17 Apr 2022 16:08:21 +0200 Subject: [PATCH] also check spaces at end of lines --- .github/checks/Makefile | 8 +++----- Contributing.md | 2 +- 2 files changed, 4 insertions(+), 6 deletions(-) diff --git a/.github/checks/Makefile b/.github/checks/Makefile index 827606d01..662477790 100644 --- a/.github/checks/Makefile +++ b/.github/checks/Makefile @@ -1,15 +1,13 @@ .PHONY: tabs -check: tabs lastline +check: tabs lastline spaces tabs: tabs.sh @./tabs.sh - + lastline: lastline.sh @./lastline.sh - -# checks that will currently fail (on a lot of files), so they are not included -# in the general "check" action + spaces: spaces.sh @./spaces.sh diff --git a/Contributing.md b/Contributing.md index c8681c7ee..6258ce523 100644 --- a/Contributing.md +++ b/Contributing.md @@ -20,7 +20,7 @@ This is an ongoing controversial topic - everyone knows that. However, the follo * No extra spaces at the end of lines. * All text files must end with new-line characters. Don't leave the last line "dangling". -The (bash) scipts used to check the above rules can be found in ```.github/check``` +The (bash) scipts used to check the above rules can be found in ```.github/check```. You can also run all checks using ```make check```. ### misc