diff options
author | Andres Erbsen <andreser@mit.edu> | 2017-07-05 13:44:16 -0400 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2017-07-05 13:44:16 -0400 |
commit | cdab01cfb8fd963164e5c434ead83fd46d3d6ff3 (patch) | |
tree | 0611d61dc790e689a1702c3d9f18b980c7d5ffe1 /capture.sh | |
parent | 770be2b1190f7533a6a5201d007dabc3be0cf9da (diff) |
capture.sh require constant TSC
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) |