Minor change

micro5k · Oct 22, 2024 · 8ef43e7 · 8ef43e7
1 parent 0310f61
commit 8ef43e7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/bits-info.sh b/tools/bits-info.sh
@@ -966,6 +966,7 @@ main()
   _max='-1'
   last_random_val='-1'
   RANDOM='1234'
+  # shellcheck disable=SC3028 # In POSIX sh, RANDOM is undefined
   if test "${RANDOM}" != '1234'; then # We are checking if $RANDOM is supported
     for _num in ${limits_rnd_u}; do
       RANDOM="${_num}" # Seed random