build: Drop `make syntax-check`
authorColin Walters <walters@verbum.org>
Tue, 11 Jul 2023 18:09:42 +0000 (14:09 -0400)
committerColin Walters <walters@verbum.org>
Tue, 11 Jul 2023 18:17:05 +0000 (14:17 -0400)
commit6591210661b55baf2f24c654b0581d1a4daf274c
tree1153671bc00bdbb6071b4c3dcaa6da002e3cf9b0
parentc29f4193cd7e431f0f49a3af98df9830e5fea8c5
build: Drop `make syntax-check`

As of lately it emits a ton of errors from `grep` about having `*`
at the start of a line, but more generally it's only generally
found papercut-style issues that aren't worth carrying a distinct
checking system for.
.cci.jenkinsfile
GNUmakefile
ci/build-check.sh
maint.mk [deleted file]