diff options
| -rwxr-xr-x | tools/build/make.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/build/make.py b/tools/build/make.py index fefd2d2dd61b..d06686f8be63 100755 --- a/tools/build/make.py +++ b/tools/build/make.py @@ -219,6 +219,9 @@ if __name__ == "__main__": parsed_args.cross_bindir) check_required_make_env_var("XLD", "ld" if use_cross_gcc else "ld.lld", parsed_args.cross_bindir) + check_required_make_env_var("STRIPBIN", + "strip" if use_cross_gcc else "llvm-strip", + parsed_args.cross_bindir) bmake_binary = bootstrap_bmake(source_root, objdir_prefix) # at -j1 cleandir+obj is unbearably slow. AUTO_OBJ helps a lot |