From 10898d51d1cde7566de77341af231c0141c7aecb Mon Sep 17 00:00:00 2001 From: Yannic Bonenberger Date: Tue, 5 Apr 2022 09:22:14 +0000 Subject: [PATCH] [autoninja] Respect user-provided AUTONINJA_BUILD_ID Change-Id: I2e1b14827e7ff4c1e88a211f5ae0d7a3322b6f39 Reviewed-on: https://chromium-review.googlesource.com/c/chromium/tools/depot_tools/+/3569027 Reviewed-by: Bruce Dawson Commit-Queue: Yannic Bonenberger --- autoninja | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/autoninja b/autoninja index b9990ee8a..06d45d1bf 100755 --- a/autoninja +++ b/autoninja @@ -10,8 +10,8 @@ if [ "$(expr "$(uname -s)" : "^MINGW64_NT")" == "10" ]; then exit fi -# Set unique build ID. -AUTONINJA_BUILD_ID="$(python3 -c "import uuid; print(uuid.uuid4())")" +# Set unique build ID if not already set by the user. +AUTONINJA_BUILD_ID="${AUTONINJA_BUILD_ID:=$(python3 -c "import uuid; print(uuid.uuid4())")}" export AUTONINJA_BUILD_ID if [ "$NINJA_SUMMARIZE_BUILD" == "1" ]; then