summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorRobert Norton2016-06-01 16:34:05 +0100
committerRobert Norton2016-06-02 14:01:47 +0100
commite17b81976cda70b8e4295ae28c7e1e53a0bde0b4 (patch)
treede72fae2f44c267f35252a63fe2ca83189c678f7 /Makefile
parent3c552d403515d5dc2e44d1e1f16be0d1cc4b1c5e (diff)
Add rule in Makefile that uses headache to add copyright header to mips/cheri model.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
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