From e209ee42e99cd76d7fefd0c53fbd84f0d2123935 Mon Sep 17 00:00:00 2001
From: Pietro Albini <pietro@pietroalbini.org>
Date: Wed, 30 Oct 2019 18:56:40 +0100
Subject: ci: extract collecting cpu stats into a script

---
 src/ci/scripts/collect-cpu-stats.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 src/ci/scripts/collect-cpu-stats.sh

(limited to 'src/ci/scripts')

diff --git a/src/ci/scripts/collect-cpu-stats.sh b/src/ci/scripts/collect-cpu-stats.sh
new file mode 100755
index 00000000000..08065431f98
--- /dev/null
+++ b/src/ci/scripts/collect-cpu-stats.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+# Spawn a background process to collect CPU usage statistics which we'll upload
+# at the end of the build. See the comments in the script here for more
+# information.
+
+set -euo pipefail
+IFS=$'\n\t'
+
+python src/ci/cpu-usage-over-time.py &> cpu-usage.csv &
-- 
cgit 1.4.1-3-g733a5