Minor update

TLCFEM · Jun 9, 2024 · 78452e3 · 78452e3
1 parent dcc4663
commit 78452e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Script/Rev.sh b/Script/Rev.sh
@@ -18,7 +18,7 @@ SCRIPT_DIR=$(dirname "$SCRIPT_DIR")
 cd "$SCRIPT_DIR" || exit
 
 # sleep random time to avoid git conflict in parallel execution
-sleep $((RANDOM % 4)).$((((RANDOM % 10)) + 1))s
+sleep $((RANDOM % 4)).$(((RANDOM % 10) + 1))s
 
 git_rev=$(git rev-parse --short=8 HEAD)