1 files changed, 0 insertions, 23 deletions
diff --git a/util/compress/libdeflate/scripts/pgo_build.sh b/util/compress/libdeflate/scripts/pgo_build.sh
deleted file mode 100755
index 2eb2b2311..000000000
--- a/util/compress/libdeflate/scripts/pgo_build.sh
+++ /dev/null
@@ -1,23 +0,0 @@
-#!/bin/bash
-
-# Try gcc profile-guided optimizations
-
-set -eu
-
-MAKE="make -j$(grep -c processor /proc/cpuinfo)"
-DATAFILE="$HOME/data/silesia"
-
-$MAKE benchmark > /dev/null
-echo "====================="
-echo "Original performance:"
-echo "---------------------"
-./benchmark "$@" "$DATAFILE"
-
-$MAKE CFLAGS=-fprofile-generate LDFLAGS=-fprofile-generate benchmark > /dev/null
-./benchmark "$@" "$DATAFILE" > /dev/null
-$MAKE CFLAGS=-fprofile-use benchmark > /dev/null
-rm -f {lib,programs}/*.gcda
-echo "=========================="
-echo "PGO-optimized performance:"
-echo "--------------------------"
-./benchmark "$@" "$DATAFILE"