diff options
| author | Kathy Gray | 2015-11-19 11:22:44 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-11-19 11:22:44 +0000 |
| commit | e6ca8bd198899ae5ede8f00d9e5c138559fc895b (patch) | |
| tree | 9e47b4b9a21ca018bb90c4013e8a5539fd4e5ccf | |
| parent | 3581115b3f458082c74bcab4926bebdb31d0dd73 (diff) | |
Keep up with linksem
| -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* |