From c8a5014d070a126091da28da04f43cc4c54acf87 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 19 Nov 2015 11:07:30 +0000
Subject: typo in make file

---
 src/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile b/src/Makefile
index a8b6f773..e2f063a2 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -25,7 +25,7 @@ test: sail interpreter
 LEM = ~/bitbucket/lem/lem
 LEMLIBOCAML = ~/bitbucket/lem/ocaml-lib/
 
-ELF_DIR= ../../../bitbucket/linksem
+ELFDIR= ../../../bitbucket/linksem
 
 get_elf:
 	-chmod u+w src_elf/*.ml*
-- 
cgit v1.2.3