diff options
| author | Kathy Gray | 2015-11-20 14:22:12 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-11-20 14:22:12 +0000 |
| commit | abdc62dbbdfaf7795ecf150b4b34dc75181ca538 (patch) | |
| tree | 1f97271de8a0094264fba2caa839534afebfce37 | |
| parent | 7e0d443c1dfb325d50b972c084ce05711e396326 (diff) | |
make the abis directory as well
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |