From d3653c48cf318358071431eeb0a53124d301f07f Mon Sep 17 00:00:00 2001
From: Christoph Mallon <christoph.mallon@gmx.de>
Date: Wed, 26 Nov 2008 06:15:08 +0000
Subject: [PATCH] Let make clean delete builtins.h, too.

[r24007]
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index cce610b..9ca0876 100644
--- a/Makefile
+++ b/Makefile
@@ -158,4 +158,4 @@ build/%.o: %.c
 
 clean:
 	@echo '===> CLEAN'
-	$(Q)rm -rf build/* $(GOAL) .depend
+	$(Q)rm -rf builtins.h build/* $(GOAL) .depend
-- 
2.20.1