diff options
author | EuAndreh <eu@euandre.org> | 2022-01-18 15:59:03 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2022-01-18 15:59:03 -0300 |
commit | a8ec600813624167770d2bfb19d5dbafcc10b791 (patch) | |
tree | d898e954aa1073ac7ddd27e1d6a6961612ebc35e | |
parent | src/git-permalink.in: Add ShellCheck allow-list markers (diff) | |
download | git-permalink-a8ec600813624167770d2bfb19d5dbafcc10b791.tar.gz git-permalink-a8ec600813624167770d2bfb19d5dbafcc10b791.tar.xz |
Makefile: Run ShellCheck in "dev-check" target
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -94,6 +94,7 @@ uninstall: # dev-check: check public + shellcheck src/git-permalink.in sh aux/assert-shellcheck.sh sh aux/workflow/assert-todos.sh sh aux/workflow/assert-changelog.sh -n '$(NAME)' $(EXTRA_VERSION) |