From b98fabdf4b91a6093b3d91f15cb55b21ab89c0f3 Mon Sep 17 00:00:00 2001
From: Louis Burda <quent.burda@gmail.com>
Date: Wed, 6 Jul 2022 13:59:50 +0200
Subject: Add proc device for communicating counts with userspace

---
 Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 3343bbd..e16de69 100644
--- a/Makefile
+++ b/Makefile
@@ -3,11 +3,13 @@ PWD := $(shell pwd)
 
 .PHONY: all reset prepare build
 
-all: reset prepare build
+all: clean reset prepare build
+
+clean:
+	$(MAKE) -C $(KERNEL_SOURCE) SUBDIRS=arch/x86/kvm clean
 
 reset:
 	git -C $(KERNEL_SOURCE) reset --hard
-	$(MAKE) -C $(KERNEL_SOURCE) SUBDIRS=arch/x86/kvm clean
 
 prepare:
 	git -C $(KERNEL_SOURCE) apply $(PWD)/patch.diff 
-- 
cgit v1.2.3-71-gd317