diff options
| -rw-r--r-- | src/cmd/build.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/cmd/build.sh b/src/cmd/build.sh index e254abe..6d72046 100644 --- a/src/cmd/build.sh +++ b/src/cmd/build.sh @@ -128,6 +128,8 @@ _cmd_build_build() Host-Platform: ${host_plat} Distribution: ${dist} Build-Date: ${build_date} + + Filter: Replacing "$(session_dir)" with "<<SESSIONDIR>>" EOF es=0 @@ -293,7 +295,8 @@ cmd_build_main() "${host_arch}" "${host_plat}" \ "${dist}" "${@}" 2>&1 printf '%d' ${?} 1>&3 - } | tee "${log}" 1>&2 + } | sed "/^Filter: /!s|$(session_dir)|<<SESSIONDIR>>|" \ + | tee "${log}" 1>&2 } 3>&1 | { read es exit ${es} |