diff options
| author | Andreas Rheinhardt <andreas.rheinhardt@outlook.com> | 2023-09-19 15:28:49 +0200 |
|---|---|---|
| committer | Andreas Rheinhardt <andreas.rheinhardt@outlook.com> | 2023-09-25 22:02:24 +0200 |
| commit | 8d5db120c2572ef81b771b588a81da65cf4b2416 (patch) | |
| tree | f5c68cf677b8bd2bb22515c26ef28e50145c8369 | |
| parent | 3bef108fa9302844180aad8632d54e1b7be1f4a3 (diff) | |
| download | ffmpeg-8d5db120c2572ef81b771b588a81da65cf4b2416.tar.gz | |
tests/fate-run: Ensure that THREADS=random is actually random
From the documentation of GNU awk [1]:
"In most awk implementations, including gawk, rand() starts generating
numbers from the same starting number, or seed, each time you run awk.45
Thus, a program generates the same results each time you run it. The
numbers are random within one awk run but predictable from run to run.
This is convenient for debugging, but if you want a program to do
different things each time it is used, you must change the seed to a
value that is different in each run. To do this, use srand()."
This commit does exactly this.
[1]: https://www.gnu.org/software/gawk/manual/html_node/Numeric-Functions.html#index-rand_0028_0029-function
Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>
| -rwxr-xr-x | tests/fate-run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/fate-run.sh b/tests/fate-run.sh index 743d9b3620..8efb1586b8 100755 --- a/tests/fate-run.sh +++ b/tests/fate-run.sh @@ -37,7 +37,7 @@ case $threads in random*) threads_max=${threads#random} [ -z "$threads_max" ] && threads_max=16 - threads=$(awk "BEGIN { print 1+int(rand() * $threads_max) }" < /dev/null) + threads=$(awk "BEGIN { srand(); print 1+int(rand() * $threads_max) }" < /dev/null) ;; esac |