From 31cb165db01a0e43ada031a9ba96e6daa692b180 Mon Sep 17 00:00:00 2001
From: Uri Blumenthal <uri@ll.mit.edu>
Date: Fri, 25 Sep 2020 22:47:07 -0400
Subject: [PATCH] Upon "make clean" remove copy of libopenabe.* from
 ZROOT/root, and header files

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 5309b85c..385ffa23 100644
--- a/Makefile
+++ b/Makefile
@@ -60,6 +60,7 @@ clean:
 	$(MAKE) -C cli clean
 	$(MAKE) -C examples clean
 	$(RM) -rf $(ZROOT)/deps/root
+	$(RM) -rf $(ZROOT)/root/lib/* $(ZROOT)/root/include/*
 
 distclean:	clean
 	$(MAKE) -C deps distclean