diff options
author | Sylvestre Ledru <sylvestre@mozilla.com> | 2018-12-21 09:12:42 +0100 |
---|---|---|
committer | Niels Thykier <niels@thykier.net> | 2019-02-09 10:16:40 +0000 |
commit | c5d64dc246497eba8c81837adccb4daf0da24fdd (patch) | |
tree | f6c1a49085c73862026dcf63dac188cf43fec877 /dh_strip | |
parent | 40bd7d14e2e9c4013e44fed78b973e43e10e52b0 (diff) | |
download | debhelper-c5d64dc246497eba8c81837adccb4daf0da24fdd.tar.gz |
When the buildid cannot be find, show a warning. Would have made
our life much easier in bug #913946 & #916975
Diffstat (limited to 'dh_strip')
-rwxr-xr-x | dh_strip | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -291,6 +291,7 @@ sub make_debug { } else { # For dbgsyms, we need build-id (else it will not be # co-installable). + warning("Could not find the BuildID in $file"); return if $use_build_id > 1; } } |