From 6f007d749be2d7d8d45fb71e403cbda86b181a8f Mon Sep 17 00:00:00 2001
From: edoapra <edoardo.apra@gmail.com>
Date: Tue, 28 Nov 2023 17:21:01 -0800
Subject: [PATCH] remove *amp files

---
 src/tools/GNUmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/GNUmakefile b/src/tools/GNUmakefile
index e02e0ce4ec..9aef5bdc5b 100644
--- a/src/tools/GNUmakefile
+++ b/src/tools/GNUmakefile
@@ -763,7 +763,7 @@ clean:
 	@test -e $(BUILDDIR)/Makefile && { cd $(BUILDDIR) && $(MAKE) clean; } || echo "Not configured"
 
 realclean:
-	@rm -rf $(BUILDDIR) $(INSTALLDIR)
+	@rm -rf $(BUILDDIR) $(INSTALLDIR) *amp
 # remove all files that are not .o objects (eg lib*.a) from libga.a
 cleanlibga:
 	mkdir -p ob