diff options
Diffstat (limited to '')
-rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -29,6 +29,11 @@ uninstall: check: sh tests/all.sh + if [ -d .git ]; then \ + echo 'Assuming Git repository, running development checks.'; \ + sh build-aux/assert-shellcheck.sh; \ + fi + dist: if git show $(VERSION) 1>/dev/null 2>/dev/null; then \ echo 'Version $(VERSION) already exists.'; \ |