diff --git a/config/functions b/config/functions index a9b7f53174..d3195b0fdf 100644 --- a/config/functions +++ b/config/functions @@ -436,3 +436,10 @@ show_config() { echo -e "$config_message" } + +# strip +debug_strip() { + if [ ! "$DEBUG" = yes ]; then + $STRIP `find $* -type f -executable 2>/dev/null` 2>/dev/null || : + fi +}