From f37820ab5be7f402e5a445196b6c7473855031bf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Autin?=
 <francois.autin@etudiant.univ-rennes1.fr>
Date: Wed, 8 Mar 2023 13:04:13 +0100
Subject: [PATCH] Removed makefile.dumps

---
 test_programs/Makefile.dumps | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 test_programs/Makefile.dumps

diff --git a/test_programs/Makefile.dumps b/test_programs/Makefile.dumps
deleted file mode 100644
index a9824c1..0000000
--- a/test_programs/Makefile.dumps
+++ /dev/null
@@ -1,12 +0,0 @@
-include $(TOPDIR)/Makefile.config
-
-%.o: %.c
-	$(RISCV_GCC) $(RISCV_CFLAGS) -c $<
-
-
-%.dump: %.o
-	$(RISCV_OBJCOPY) -j .text -O $(DUMP_FORMAT) $< $@
-
-clean:
-	rm -rf *.o 2> /dev/null
-	rm -rf *.dump 2> /dev/null
\ No newline at end of file