From cdab01cfb8fd963164e5c434ead83fd46d3d6ff3 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Wed, 5 Jul 2017 13:44:16 -0400
Subject: capture.sh require constant TSC

---
 capture.sh | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'capture.sh')

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)
-- 
cgit v1.2.3