don't key benchmarks on cpu frequency

2 files changed, 14 insertions, 13 deletions

diff --git a/etc/freq.sh b/etc/freq.sh
new file mode 100755
index 000000000..7fe306f2e
--- /dev/null
+++ b/etc/freq.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+set -eu
+
+for cpu in $(seq 1 $(nproc)); do
+	echo "scale=100000;pi=4*a(1);0" | bc -l &
+	echo $!
+done | ( \
+	sleep .1 ;
+        mhz=$(cat /proc/cpuinfo | grep "^[c]pu MHz" | cut -d: -f2 | tr -d ' ' | sort -nr | head -1);
+	printf "$(echo "scale=2; ($mhz + 5)/1000" | bc)ghz\n"
+        while IFS= read -r pid; do
+		kill "$pid";
+	done )
+
diff --git a/etc/machine.sh b/etc/machine.sh
index 06cea8ac4..fa8d419b4 100755
--- a/etc/machine.sh
+++ b/etc/machine.sh
@@ -14,17 +14,4 @@ else
 fi
 printf -
 printf "$(gcc -march=native -Q --help=target|grep march | cut -d= -f2 | grep -ow '\S*')"
-printf -
-
-for cpu in $(seq 1 $(nproc)); do
-	echo "scale=100000;pi=4*a(1);0" | bc -l &
-	echo $!
-done | ( \
-	sleep .1 ;
-        mhz=$(cat /proc/cpuinfo | grep "^[c]pu MHz" | cut -d: -f2 | tr -d ' ' | sort -nr | head -1);
-	printf "$(echo "scale=2; ($mhz + 5)/1000" | bc)ghz"
-        while IFS= read -r pid; do
-		kill "$pid";
-	done )
-
 printf '\n'