path: root/lint/bin.sh
AgeCommit message (Expand)AuthorFilesLines
2018-12-19Remove diagnostic messages from check/lint scriptsTom Ryder1-4/+0
2017-10-31Use "shell" not "sh" consistentlyTom Ryder1-1/+1
2017-10-31Correct some vestigial programs to shell namesTom Ryder1-1/+1
2017-10-31Add option terminators to some stray `set` callsTom Ryder1-2/+2
2017-10-31Use shell name not command in check/lint messagesTom Ryder1-3/+3
2017-10-31Correct copypaste errors in `check-bin`, `lint-bin`Tom Ryder1-3/+3
2017-10-31Add conditional Bash `check-bin`, `lint-bin`Tom Ryder1-0/+13
2017-10-31Show explicit success message for `lint-bin`Tom Ryder1-1/+2
2017-10-31Adjust `check-bin`, `lint-bin` for built scriptsTom Ryder1-1/+5
2017-10-31Revert "Drastically simplify `lint` scripts"Tom Ryder1-2/+1
2017-10-31Drastically simplify `lint` scriptsTom Ryder1-1/+2
2017-04-05More sh flexibility (check/lint scripts)Tom Ryder1-0/+1