From d96f9055843626d15246247054360768b93f32f9 Mon Sep 17 00:00:00 2001 From: Andrei Gherzan Date: Wed, 18 May 2022 12:39:32 +0100 Subject: [PATCH] Makefile: Clean dist artefacts too Signed-off-by: Andrei Gherzan --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 5e43d58..786f412 100644 --- a/Makefile +++ b/Makefile @@ -30,4 +30,4 @@ build: .SILENT: clean clean: - rm -rf bin *.out + rm -rf bin *.out dist