aboutsummaryrefslogtreecommitdiff
path: root/check/games.sh
Commit message (Collapse)AuthorAgeFilesLines
* Use "shell" not "sh" consistentlyTom Ryder2017-10-311-2/+2
| | | | | I'm going to pretend this is a crucially important production fix, in order to try out the "hotfix" part of the "Git flow" workflow.
* Correct some vestigial programs to shell namesTom Ryder2017-10-311-1/+1
| | | | Just for consistency.
* Apply stable check and lint methods to games shellTom Ryder2017-10-311-2/+3
| | | | | | | | | | | | | This applies the same stable approach to testing the actual built games that are shebannged with #!/bin/sh as has been applied to the shell scripts in the `check-bin` and `lint-bin` targets. There are no GNU Bash games in these directories, so the latter block of code from the `bin` analogues to check or lint those is not needed. The same applies here; this is not as complete a checking or linting of the games directory as it could be; ideally we would check the sed(1) and awk(1) scripts too.
* More sh flexibility (check/lint scripts)Tom Ryder2017-04-051-0/+4