use the linux variant of sed during logging
diff --git a/hudson-scripts/init/_0_log.sh b/hudson-scripts/init/_0_log.sh
index 0563c67..f6ccfbd 100644
--- a/hudson-scripts/init/_0_log.sh
+++ b/hudson-scripts/init/_0_log.sh
@@ -86,7 +86,7 @@
for ((i=$start; i<FRAMES-1; i++)); do
echo ' File' \"${BASH_SOURCE[i+1]}\", line ${BASH_LINENO[i]}, in ${FUNCNAME[i+1]} >> "${LS_OUTPUT}"
# Grab the source code of the line
- sed -E -n ${BASH_LINENO[i]}'s/^[:space:]*/ /p' "${BASH_SOURCE[i+1]}" >> "${LS_OUTPUT}"
+ sed -r -n ${BASH_LINENO[i]}'s/^[:space:]*/ /p' "${BASH_SOURCE[i+1]}" >> "${LS_OUTPUT}"
# TODO extract arugments from "${BASH_ARGC[@]}" and "${BASH_ARGV[@]}"
# It requires `shopt -s extdebug'
done
