From d4f8ba2e3279881079c34b83aa8af678175b97ab Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Rativel?=
 <remi.rativel@etudiant.univ-rennes1.fr>
Date: Tue, 4 Apr 2023 14:50:25 +0200
Subject: [PATCH] fixed dumps not properly move into target

---
 test/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/Makefile b/test/Makefile
index ad2c039..5aa4443 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -7,7 +7,7 @@ include $(TOPDIR)/Makefile.config
 dumps:
 	$(MAKE) dumps -C riscv_instructions/
 	mkdir -p ${TOPDIR}/target/dumps/
-	find . -name '*.dump' -exec mv {} ${TOPDIR}/target/dumps/ \;
+	find . -path ${TOPDIR}/target -prune -o -name '*.dump' -exec mv {} ${TOPDIR}/target/dumps/ \;
 
 user_lib:
 	$(MAKE) -C userlib/