diff options
| author | Kathy Gray | 2015-11-19 11:15:16 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-11-19 11:15:16 +0000 |
| commit | 3581115b3f458082c74bcab4926bebdb31d0dd73 (patch) | |
| tree | 4548f5bf48468426572641492f574e36e6374908 /src | |
| parent | c8a5014d070a126091da28da04f43cc4c54acf87 (diff) | |
More makefile type
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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* |