diff --git a/launch.sh b/launch.sh index fe964af501774c08661193dee067007afc003982_bGF1bmNoLnNo..93a3b880322706de9869279e8d2b71796f9c8697_bGF1bmNoLnNo 100755 --- a/launch.sh +++ b/launch.sh @@ -4,8 +4,13 @@ # Ensure asv now machine characteristics asv machine --yes -# Check that the machine is ready for benchmark -python -m perf system show | grep "OK!" +echo check that system is ready for benchmark +echo "(use ASV_SKIP_SYSTEM_CHECK=1 to skip it)" + +if [ -z "${ASV_SKIP_SYSTEM_CHECK:-}" ]; then + # Check that the machine is ready for benchmark + python -m perf system show +fi # Ensure all repository are here