Gentoo Archives: gentoo-commits

From: "Andreas K. Hüttel" <dilfridge@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/releng:master commit in: tools/
Date: Sun, 26 Feb 2023 23:19:28
Message-Id: 1677453534.f2e3c07e81314d2b3a5d26638e08649f74350592.dilfridge@gentoo
1 commit: f2e3c07e81314d2b3a5d26638e08649f74350592
2 Author: Nic Boet <nic <AT> boet <DOT> cc>
3 AuthorDate: Sun Feb 26 23:18:04 2023 +0000
4 Commit: Andreas K. Hüttel <dilfridge <AT> gentoo <DOT> org>
5 CommitDate: Sun Feb 26 23:18:54 2023 +0000
6 URL: https://gitweb.gentoo.org/proj/releng.git/commit/?id=f2e3c07e
7
8 Make it more apparent that bash time is not used
9
10 Signed-off-by: Nic Boet <nic <AT> boet.cc>
11 Signed-off-by: Andreas K. Hüttel <dilfridge <AT> gentoo.org>
12
13 tools/catalyst-auto | 9 +++++++--
14 1 file changed, 7 insertions(+), 2 deletions(-)
15
16 diff --git a/tools/catalyst-auto b/tools/catalyst-auto
17 index 3dfd1233..1780daf4 100755
18 --- a/tools/catalyst-auto
19 +++ b/tools/catalyst-auto
20 @@ -421,8 +421,13 @@ run_catalyst_commands() {
21
22 build_failure=0
23
24 - timeprefix=()
25 - which time >/dev/null && timeprefix=( "time" )
26 + # bash built-in time function is not used
27 + if ! which time >/dev/null ; then
28 + timeprefix=()
29 + echo "sys-process/time is optional for build resource utilization"
30 + else
31 + timeprefix=( "time" )
32 + fi
33
34 JOB_PIDS=()
35 JOB_RETS=()