do not use time in windows

perazz · Jun 10, 2024 · 7b1efc7 · 7b1efc7
1 parent 768b98b
commit 7b1efc7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ci/run_tests.sh b/ci/run_tests.sh
@@ -89,7 +89,8 @@ do
    done
 done
 
-# Test building all test targets
+# Test building all test targets and with runner
+if [[ "$(which time)" ]]; then
 cmdrun=( "test" "test --runner time" ) 
 for j in {0..1}
 do
@@ -101,6 +102,7 @@ do
      test -e test$k.txt   
   done
 done
+fi
 
 popd