From c3a6444ce6a9d71dbee4d8ccc84f44b4fcbf6cf2 Mon Sep 17 00:00:00 2001
From: Isaku Yamahata <isaku.yamahata@gmail.com>
Date: Wed, 4 Dec 2019 17:10:29 -0800
Subject: [PATCH] [Pal] pal.map: Add "DO NOT MODIFY" warning to generated file

---
 Makefile.rules | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile.rules b/Makefile.rules
index c8877509..15321ab7 100644
--- a/Makefile.rules
+++ b/Makefile.rules
@@ -148,7 +148,9 @@ PAL_SYMBOL_FILE := $(dir $(abspath $(lastword $(MAKEFILE_LIST))))Pal/src/pal-sym
 PAL_SYMBOLS = $(shell sed -e 's|$$|;|g' $(PAL_SYMBOL_FILE))
 
 quiet_cmd_pal_map = [ $@ ]
-      cmd_pal_map = sed -e 's|\$$(PAL_SYMBOLS)|$(PAL_SYMBOLS)|g' $< > $@
+      cmd_pal_map = \
+	(echo "/* DO NOT MODIFY. THIS FILE WAS AUTO-GENERATED. */"; \
+	 sed -e 's|\$$(PAL_SYMBOLS)|$(PAL_SYMBOLS)|g' $<) > $@
 
 pal.map: pal.map.template $(PAL_SYMBOL_FILE)
 	$(call cmd,pal_map)