From 51a877add447d3c5b5af9d369fda90e65da31f43 Mon Sep 17 00:00:00 2001 From: Jesse Luehrs Date: Sat, 2 May 2020 03:15:17 -0400 Subject: work around make bug --- Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index c18ee30..c792114 100644 --- a/Makefile +++ b/Makefile @@ -54,9 +54,11 @@ publish-crates-io: test @cargo publish .PHONY: publish-crates-io +# force shell instead of exec to work around +# https://savannah.gnu.org/bugs/?57962 since i have ~/.bin/git as a directory publish-git-tags: test - @git tag $(VERSION) - @git push --tags + @:; git tag $(VERSION) + @:; git push --tags .PHONY: publish-git-tags publish-deb: test pkg/$(DEB_PACKAGE) pkg/$(DEB_PACKAGE).minisig release-dir-deb -- cgit v1.2.3-54-g00ecf