aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index e9537b2..61f4072 100644
--- a/Makefile
+++ b/Makefile
@@ -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.'; \