From d8041f29ad728320ca763ff3852508b617592b1a Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Fri, 3 Feb 2017 14:14:54 +0000
Subject: licensing

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 038249f6..58400032 100644
--- a/Makefile
+++ b/Makefile
@@ -3,8 +3,11 @@
 all: sail interpreter
 
 apply_header:
+	$(MAKE) clean
 	headache -c etc/headache_config -h etc/mips_header `ls mips/*.sail`
 	headache -c etc/headache_config -h etc/mips_header `ls cheri/*.sail`
+	headache -c etc/headache_config -h src/LICENCE `ls src/*.{ml,mli,nll,mly}`
+	headache -c etc/headache_config -h src/LICENCE `ls src/lem_interp*.{ml,mli,lem}`
 	$(MAKE) -C arm apply_header
 
 sail:
-- 
cgit v1.2.3