diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2024-05-14 09:33:45 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2024-05-14 09:33:45 +0000 |
commit | dcbfc1c24a945acd75c3990715a10c12b5e9b771 (patch) | |
tree | 514a45f5d14bd35d9714d596e5a2bad477ab1d53 | |
parent | 2024-05-14 09:18:54 UTC (diff) | |
parent | edob: do not die if log file exists (diff) | |
download | gentoo-dcbfc1c24a945acd75c3990715a10c12b5e9b771.tar.gz gentoo-dcbfc1c24a945acd75c3990715a10c12b5e9b771.tar.bz2 gentoo-dcbfc1c24a945acd75c3990715a10c12b5e9b771.zip |
Merge updates from master
-rw-r--r-- | eclass/edo.eclass | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/eclass/edo.eclass b/eclass/edo.eclass index ed8ec8d3201e..5fd77a676a8b 100644 --- a/eclass/edo.eclass +++ b/eclass/edo.eclass @@ -80,7 +80,6 @@ edob() { [[ -z ${log_name} ]] && log_name="$(basename ${1})" local log_file="${T}/${log_name}.log" - [[ -f ${log_file} ]] && die "Log file ${log_file} exists. Consider using \"edob -l\"" ebegin "${message}" |