diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index 09dfabc8..4016a07b 100644 --- a/src/Makefile +++ b/src/Makefile @@ -33,6 +33,7 @@ get_elf: -chmod u+w src_elf/abis/amd64/*.ml* -chmod u+w src_elf/abis/power64/*.ml* -chmod u+w src_elf/abis/aarch64/*.ml* + -chmod u+w src_elf/abis/x86/*.ml* -chmod u+w src_elf/adaptors/*.ml* -chmod u+w src_elf/gnu_extensions/*.ml* rm -rf src_elf/*.ml* @@ -40,6 +41,7 @@ get_elf: rm -rf src_elf/abis/amd64/*.ml* rm -rf src_elf/abis/power64/*.ml* rm -rf src_elf/abis/aarch64/*.ml* + rm -rf src_elf/abis/x86/*.ml* rm -rf src_elf/adaptors/*.ml* rm -rf src_elf/gnu_extensions/*.ml* $(MAKE) -C $(ELFDIR)/src clean @@ -49,6 +51,7 @@ get_elf: cp -a $(ELFDIR)/src/abis/amd64/*.ml src_elf/abis/amd64 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/abis/x86/*.ml src_elf/abis/x86 cp -a $(ELFDIR)/src/adaptors/*.ml src_elf/adaptors cp -a $(ELFDIR)/src/gnu_extensions/*.ml* src_elf/gnu_extensions chmod ugo-w src_elf/*.ml* @@ -56,6 +59,7 @@ get_elf: chmod ugo-w src_elf/abis/amd64/*.ml* chmod ugo-w src_elf/abis/power64/*.ml* chmod ugo-w src_elf/abis/aarch64/*.ml* + chmod ugo-w src_elf/abis/x86/*.ml* chmod ugo-w src_elf/adaptors/*.ml* chmod ugo-w src_elf/gnu_extensions/*.ml* |