index : devtools32 | |
Archlinux32 fork of devtools | gitolite user |
summaryrefslogtreecommitdiff |
author | Luke Shumaker <lukeshu@parabola.nu> | 2017-05-05 18:41:06 -0400 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-07-14 06:54:28 +0200 |
commit | bc06145c261145de6a82e9b4ad70de84bf961c0b (patch) | |
tree | f4f203f94f8d6e75892d278c36859a45714976b1 /Makefile | |
parent | 7494a6d3e615ea601c2a5dc5b45ceed18ceda2b6 (diff) |
-rw-r--r-- | Makefile | 5 |
@@ -117,5 +117,8 @@ dist: upload: scp devtools-$(V).tar.gz devtools-$(V).tar.gz.sig repos.archlinux.org:/srv/ftp/other/devtools/ -.PHONY: all clean install uninstall dist upload +check: $(BINPROGS) bash_completion makepkg-x86_64.conf + shellcheck $^ + +.PHONY: all clean install uninstall dist upload check .DELETE_ON_ERROR: |