diff options
| author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2022-04-15 16:22:01 +0200 |
|---|---|---|
| committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2022-04-21 10:08:37 +0200 |
| commit | a4fd440741a507d3e9be0e55e84d566ade69f798 (patch) | |
| tree | 5adbb662d1b2348cf1036a481cfef8013919fae2 /depends | |
| parent | bfbce6cbfe22beac1032cf3ea0fced2faaa995f5 (diff) | |
build: Pass missed `strip` tool via `config.site`
Diffstat (limited to 'depends')
| -rw-r--r-- | depends/config.site.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/depends/config.site.in b/depends/config.site.in index 95e6ae85cf..dd06c5675c 100644 --- a/depends/config.site.in +++ b/depends/config.site.in @@ -115,6 +115,11 @@ if test -n "@NM@"; then ac_cv_path_ac_pt_NM="${NM}" fi +if test -n "@STRIP@"; then + STRIP="@STRIP@" + ac_cv_path_ac_pt_STRIP="${STRIP}" +fi + if test -n "@debug@"; then enable_reduce_exports=no fi |