diff options
Diffstat (limited to 'capture.sh')
-rwxr-xr-x | capture.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/capture.sh b/capture.sh index 1ef90ba9b..bdc9e7d65 100755 --- a/capture.sh +++ b/capture.sh @@ -1,6 +1,8 @@ #!/bin/sh set -eu +grep -q constant_tsc /proc/cpuinfo || (echo "need constant_tsc" ; exit 100 ) + machine=$(etc/machine.sh) cpufreq=$(etc/cpufreq) tscfreq=$(etc/tscfreq) |