1 files changed, 6 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index d93fefd..9549569 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-V=20160528
+V=20170320
 
 PREFIX = /usr/local
 
@@ -74,7 +74,7 @@ edit = sed -e "s|@pkgdatadir[@]|$(DESTDIR)$(PREFIX)/share/devtools|g"
 %: %.in Makefile lib/common.sh
 	@echo "GEN $@"
 	@$(RM) "$@"
-	@m4 -P $@.in | $(edit) >$@
+	@{ echo -n 'm4_changequote([[[,]]])'; cat $@.in; } | m4 -P | $(edit) >$@
 	@chmod a-w "$@"
 	@chmod +x "$@"
 	@bash -O extglob -n "$@"
@@ -114,5 +114,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 PKGBUILD.proto
+	shellcheck $^
 
+.PHONY: all clean install uninstall dist upload check
+.DELETE_ON_ERROR: