Skip to content

Commit b0adcf9

Browse files
authored
chore: randomize temp output directory (#3341)
In this PR: - Use `$RANDOM` (a shell variable that generates a random integer between 0 and 32767) to randomize temp output directory to support parallel generation.
1 parent 7f6e470 commit b0adcf9

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

hermetic_build/library_generation/generate_library.sh

+1-1
Original file line numberDiff line numberDiff line change
@@ -115,7 +115,7 @@ if [ -z "${os_architecture}" ]; then
115115
os_architecture=$(detect_os_architecture)
116116
fi
117117

118-
temp_destination_path="${output_folder}/temp_preprocessed"
118+
temp_destination_path="${output_folder}/temp_preprocessed-$RANDOM"
119119
mkdir -p "${output_folder}/${destination_path}"
120120
if [ -d "${temp_destination_path}" ]; then
121121
# we don't want the preprocessed sources of a previous run

0 commit comments

Comments
 (0)