GitLab

And attempt to disable pkgstrip was done in !392 (closed). However, in the general case, it should still be run. It would be helpful to have a variable to disallow it for certain builds.

There are two options:

• Pass the variable down to the builder (this is annoying, as requires support at build time)
• Try if adding "NO_PKG_MANGLE := true" as the second line of debian/rules work. Then "we could automate that on helpers/config" (quidam)