diff options
Diffstat (limited to 'src/cmd')
| -rw-r--r-- | src/cmd/build.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/cmd/build.sh b/src/cmd/build.sh index 6d72046..81e7343 100644 --- a/src/cmd/build.sh +++ b/src/cmd/build.sh @@ -129,7 +129,8 @@ _cmd_build_build() Distribution: ${dist} Build-Date: ${build_date} - Filter: Replacing "$(session_dir)" with "<<SESSIONDIR>>" + Filter: Replacing "$(session_dir)" with "<<SESSION_DIR>>" + Filter: Replacing "$(session_id)" with "<<SESSION_ID>>" EOF es=0 @@ -295,8 +296,10 @@ cmd_build_main() "${host_arch}" "${host_plat}" \ "${dist}" "${@}" 2>&1 printf '%d' ${?} 1>&3 - } | sed "/^Filter: /!s|$(session_dir)|<<SESSIONDIR>>|" \ - | tee "${log}" 1>&2 + } | sed "/^Filter: /!{ + s|$(session_dir)|<<SESSION_DIR>>|; + s|$(session_id)|<<SESSION_ID>>|; + };" | tee "${log}" 1>&2 } 3>&1 | { read es exit ${es} |