-# Helper function to print debug information if $DEBUG is not empty.
-#
-# Doesn't fit perfectly in this file, but this is the best place to make it
-# available everywhere.
-source_debug() {
- if test "x$DEBUG" != x; then
- printf '%s' "$*"
- fi
-}
-