fi
}
+function detect_gnu_sed () {
+ if which gsed >/dev/null 2>&1; then
+ echo "gsed"
+ elif sed --version | grep -qF GNU; then
+ echo "sed"
+ else
+ echo "We need GNU sed to be installed." >&2
+ exit 1
+ fi
+}
+
function say_hello () {
local -r self=$(basename "$0")
local -r platform=$(detect_platform_type)
SRCPATH="$srcpath" \
PLATFORM="$(detect_platform_type)" \
GNUTAR="$(detect_gnu_tar)" \
+ GNUSED="$(detect_gnu_sed)" \
SHELL="$SHELL"
echo "If you are done, run \"$0 clean\" to cleanup the working directory."