Replacing date/gdate with perl program to improve compatibility acros…

…s unix systems
runtimeverification · Sep 11, 2023 · 7e8cd54 · 7e8cd54
1 parent f3e2923
commit 7e8cd54
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/bin/utils.sh b/bin/utils.sh
@@ -5,14 +5,9 @@ export DEPTH=0
 verbose=${verbose:-false}
 profile=${profile:-false}
 
-if [[ "$OSTYPE" == "darwin"* ]]; then
-  DATE_CMD="gdate"
-else
-  DATE_CMD="date"
-fi
 
 time_now_ms () {
-  "$DATE_CMD" "+%s%3N"
+  perl -MTime::HiRes=time -e 'printf "%d\n", time*1000'
 }
 
 indented () {