From 1291822870348c422b318d6428bba542767696eb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Felix=20Ros=C3=A9n?= Date: Mon, 14 Mar 2022 08:30:59 +0100 Subject: [PATCH] fix(makefile): bump after sage update --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index c7ef51f..61ead3d 100644 --- a/Makefile +++ b/Makefile @@ -11,7 +11,7 @@ $(sagefile): .sage/go.mod .sage/*.go .PHONY: sage sage: @git clean -fxq $(sagefile) - @make $(sagefile) + @$(MAKE) $(sagefile) .PHONY: update-sage update-sage: