From df13578f590badfb73fb3c62e045af15fa1a9573 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 26 Apr 2018 11:49:00 +0100
Subject: Fix apply_header target with location of LICENSE file.

---
 Makefile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index a343e257..71a08f64 100644
--- a/Makefile
+++ b/Makefile
@@ -43,10 +43,10 @@ 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/Makefile*`
-	headache -c etc/headache_config -h src/LICENCE `ls src/*.ml*`
-	headache -c etc/headache_config -h src/LICENCE `ls src/lem_interp/*.ml`
-	headache -c etc/headache_config -h src/LICENCE `ls src/lem_interp/*.lem`
+	headache -c etc/headache_config -h LICENCE `ls src/Makefile*`
+	headache -c etc/headache_config -h LICENCE `ls src/*.ml*`
+	headache -c etc/headache_config -h LICENCE `ls src/lem_interp/*.ml`
+	headache -c etc/headache_config -h LICENCE `ls src/lem_interp/*.lem`
 	$(MAKE) -C arm apply_header
 
 clean:
-- 
cgit v1.2.3