1 files changed, 24 insertions, 0 deletions
diff --git a/spice-server/stats.sh b/spice-server/stats.sh
new file mode 100755
index 0000000..e7f8c3f
--- /dev/null
+++ b/spice-server/stats.sh
@@ -0,0 +1,24 @@
+#!/bin/bash
+set -e
+
+echo Build...
+make -j3 &> /dev/null
+
+times() {
+    set +e
+    SPICE_DEBUG_LEVEL=3 ./server/tests/spice-server-replay -p 1235 -c 'remote-viewer spice://localhost:1235' -w win7-boot-record2 -C $1 2>&1 | grep display_channel_compress_stats_print | sed 's/.*display_channel_compress_stats_print: //' >> $2
+    set -e
+}
+
+out=times.txt
+if grep '^CFLAGS =' server/Makefile | grep -qe '-ftest-coverage\|-fsanitize\|-fprofile-arcs\|-O0'; then
+    echo "Debugging compile, not collecting times!" >&2
+    out=/dev/null
+fi
+
+#for comp in {4..7}; do
+for comp in {5..5}; do
+    for n in {1..10}; do
+        times $comp $out
+    done
+done