#74 show time

yegor256 · Sep 22, 2023 · a0ad934 · a0ad934
1 parent fc3736a
commit a0ad934
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -57,8 +57,16 @@ export
 
 # Run a single step from ./steps
 define step
+	start=$$(date +%s%N)
 	echo -e "\n\n\n+++ $(1) +++\n"
     @bash $(LOCAL)/steps/$(1).sh
+	end=$$(date +%s%N)
+    ms=$$(echo "($${end} - $${start}) / 1000000" | bc)
+    if [ "$${ms}" -gt "1000" ]; then
+	    echo "Took $$(( ms / 1000 ))s"
+    else
+	    echo "Took $${ms}ms"
+    fi
 endef
 
 # The main goal

diff --git a/steps/measure-file.sh b/steps/measure-file.sh
@@ -28,7 +28,7 @@ javam=$2
 pos=$3
 total=$4
 
-start=$(echo "$(date +%N) / 1000000" | bc)
+start=$(echo "$(date +%s%N) / 1000000" | bc)
 
 mkdir -p "$(dirname "${javam}")"
 metrics=$(find "${LOCAL}/metrics/" -type f -exec basename {} \;)
@@ -48,7 +48,7 @@ echo "${metrics}" | while read -r m; do
     fi
 done
 
-end=$(echo "$(date +%N) / 1000000" | bc)
+end=$(echo "$(date +%s%N) / 1000000" | bc)
 
 echo "$(echo "${metrics}" | wc -w | xargs) scripts \
 collected $(find "${javam}".* -type f | wc -l | xargs) metrics \