From abdc62dbbdfaf7795ecf150b4b34dc75181ca538 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 20 Nov 2015 14:22:12 +0000
Subject: make the abis directory as well

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

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 54e6f75d..3888d0c6 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -46,7 +46,7 @@ get_elf:
 	rm -rf src_elf/gnu_extensions/*.ml*
 	$(MAKE) -C $(ELFDIR)/src clean
 	$(MAKE) -C $(ELFDIR)/src lem-all-ocaml
-	mkdir -p src_elf/{adaptors,gnu_extensions}
+	mkdir -p src_elf/{abis,adaptors,gnu_extensions}
 	mkdir -p src_elf/abis/{aarch64,amd64,power64,x86}
 	cp -a $(ELFDIR)/src/*.ml src_elf
 	cp -a $(ELFDIR)/src/abis/*.ml src_elf/abis
-- 
cgit v1.2.3