From 533e4b3ad68355a5fd02d9891930d9871e7bc751 Mon Sep 17 00:00:00 2001 From: Sridhar Ratnakumar Date: Wed, 16 Nov 2022 18:08:41 -0500 Subject: [PATCH] disable 'make' --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index b4fc080..fb8550f 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,6 @@ +all: + echo + # Update the primary inputs # # Typically run as: `make update && nix run` followed by a git commit.