1 files changed, 4 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 7dbd804b..c1701aba 100644
--- a/Makefile
+++ b/Makefile
@@ -2,6 +2,10 @@
 
 all: sail
 
+apply_header:
+	headache -c etc/headache_config -h etc/mips_header `ls mips/*.sail`
+	headache -c etc/headache_config -h etc/mips_header `ls cheri/*.sail`
+
 sail:
 	$(MAKE) -C src
 	ln -f -s src/sail.native sail