diff options
author | Alejandro Cabrera Aldaya <aldaya@gmail.com> | 2022-11-22 13:28:25 +0300 |
---|---|---|
committer | Anup Patel <anup@brainfault.org> | 2022-12-04 18:32:33 +0300 |
commit | 49b0e355e6586dbb55bc8bb4d3b073f3e692d765 (patch) | |
tree | 39eae7b850ec7c77c8948db9159ac3b15db667db /Makefile | |
parent | ba3202168339e86b5aa28cccf090cfe6d848d88b (diff) | |
download | opensbi-49b0e355e6586dbb55bc8bb4d3b073f3e692d765.tar.xz |
Makefile: bugfix for handling platform paths
If the path where this repo is located contains the platform name on
it, the original Makefile replaced its occurrences from the path making
it an invalid path. This commit prevents this behavior replacing only
the last part of the path as intended.
Signed-off-by: Alejandro Cabrera Aldaya <aldaya@gmail.com>
Reviewed-by: Xiang W <wxjstz@126.com>
Reviewed-by: Andrew Jones <ajones@ventanamicro.com>
Reviewed-by: Anup Patel <anup@brainfault.org>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -47,7 +47,7 @@ ifdef PLATFORM_DIR platform_parent_dir=$(platform_dir_path) else PLATFORM=$(shell basename $(platform_dir_path)) - platform_parent_dir=$(subst $(PLATFORM),,$(platform_dir_path)) + platform_parent_dir=$(shell realpath ${platform_dir_path}/..) endif else platform_parent_dir=$(src_dir)/platform |