diff options
author | Anup Patel <anup.patel@wdc.com> | 2019-01-21 11:05:36 +0530 |
---|---|---|
committer | Anup Patel <anup@brainfault.org> | 2019-01-22 11:40:15 +0530 |
commit | f37f7e21e078187ac314fdb7339f5946d9cc426e (patch) | |
tree | bb9518382dd42f5bed43d10e7beee8c2c82afbdd /Makefile | |
parent | ac003ff6bfead5737638888431fa646d707e246b (diff) |
Makefile: Don't install generic headers under <install_dir>/platform
We don't need to install generic headers separately for every
platforn under <install_dir>/platform. It is unnecessary duplication
of files hence updating install_libplatsbi in top-level makefile.
Signed-off-by: Anup Patel <anup.patel@wdc.com>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -304,7 +304,6 @@ install_libsbi: $(build_dir)/lib/libsbi.a .PHONY: install_libplatsbi install_libplatsbi: $(build_dir)/$(platform_subdir)/lib/libplatsbi.a $(build_dir)/lib/libsbi.a - $(call inst_header_dir,$(install_dir)/$(platform_subdir)/include,$(include_dir)/sbi) $(call inst_file,$(install_dir)/$(platform_subdir)/lib/libplatsbi.a,$(build_dir)/$(platform_subdir)/lib/libplatsbi.a) .PHONY: install_firmwares |