summaryrefslogtreecommitdiff
path: root/dh_strip
diff options
context:
space:
mode:
authorSylvestre Ledru <sylvestre@mozilla.com>2018-12-21 09:12:42 +0100
committerNiels Thykier <niels@thykier.net>2019-02-09 10:16:40 +0000
commitc5d64dc246497eba8c81837adccb4daf0da24fdd (patch)
treef6c1a49085c73862026dcf63dac188cf43fec877 /dh_strip
parent40bd7d14e2e9c4013e44fed78b973e43e10e52b0 (diff)
downloaddebhelper-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-xdh_strip1
1 files changed, 1 insertions, 0 deletions
diff --git a/dh_strip b/dh_strip
index 47643fd5..06122b14 100755
--- a/dh_strip
+++ b/dh_strip
@@ -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;
}
}