From 3581115b3f458082c74bcab4926bebdb31d0dd73 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 19 Nov 2015 11:15:16 +0000
Subject: More makefile type

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

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index e2f063a2..09dfabc8 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -50,7 +50,7 @@ get_elf:
 	cp -a $(ELFDIR)/src/abis/power64/*.ml src_elf/abis/power64
 	cp -a $(ELFDIR)/src/abis/aarch64/*.ml src_elf/abis/aarch64
 	cp -a $(ELFDIR)/src/adaptors/*.ml src_elf/adaptors
-	cp -a $(ELFDIR)/src/gnu_extensions/*.ml*
+	cp -a $(ELFDIR)/src/gnu_extensions/*.ml* src_elf/gnu_extensions
 	chmod ugo-w src_elf/*.ml*
 	chmod ugo-w src_elf/abis/*.ml*
 	chmod ugo-w src_elf/abis/amd64/*.ml*
-- 
cgit v1.2.3