Revision 72fe0dddee5e6dceeab0b8a2e6a745abf5287d3e authored by Jason Gross on 15 July 2021, 00:27:45 UTC, committed by Jason Gross on 15 July 2021, 00:28:57 UTC
``` make COQBIN="$HOME/.local64/coq/coq-8.11.1/bin/" SKIP_BEDROCK2=1 TIMED=1 --output-sync perf-csv ```
1 parent f020c4e
machine.sh
#!/bin/sh
set -eu
online_governors() {
FOUND=""
for cpu in "/sys/devices/system/cpu/cpu"[0-9]* ; do
if grep -vq '^1$' "$cpu/online" 2>/dev/null; then
continue
fi
if [ ! -e "$cpu/cpufreq" ]; then
continue
fi
cat "$cpu/cpufreq/scaling_governor"
FOUND=1
done
if [ -z "$FOUND" ]; then
echo "nocpufreq_support"
fi
}
printf "$(hostname)"
printf -
if ls /sys/devices/system/cpu/cpu[0-9]*/topology/thread_siblings_list >/dev/null 2>/dev/null; then
grep -q '[^0-9]' /sys/devices/system/cpu/cpu[0-9]*/topology/thread_siblings_list && printf ht || printf noht
else
printf unknown_ht
fi
printf -
if [ -f /sys/devices/system/cpu/intel_pstate/no_turbo ]; then
grep -q 1 /sys/devices/system/cpu/intel_pstate/no_turbo && printf notb || printf tb
else
printf notb_support
fi
printf -
if [ -f /sys/class/power_supply/AC/online ]; then
grep -q 1 /sys/class/power_supply/AC/online && printf ac || printf noac
else
printf nops
fi
printf -
printf "$(printf "%s" "$(online_governors | uniq)" | tr '\n' '_')"
printf -
printf "$(gcc -march=native -Q --help=target|grep march | cut -d= -f2 | grep -ow '\S*')"
printf '\n'
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...