diff options
| -rw-r--r-- | Makefile | 2 | ||||
| -rwxr-xr-x | src/benchmark-flags | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -24,7 +24,7 @@ WARN = -Wall -Wextra -pedantic -Wdouble-promotion -Wformat=2 -Winit-self -Wmissi LDOPTIMISE = # -flto -flto-compression-level -flto-partition={1to1,balanced,mix,none} -flto-report -flto-report-wpa -fwpa -COPTIMISE = -fkeep-inline-functions -falign-functions=0 -fdata-sections -Ofast +COPTIMISE = -falign-functions=0 -fkeep-inline-functions -fmerge-all-constants -Ofast FLAGS = -std=gnu99 $(WARN) diff --git a/src/benchmark-flags b/src/benchmark-flags index 9c8c4ba..840d04c 100755 --- a/src/benchmark-flags +++ b/src/benchmark-flags @@ -59,7 +59,7 @@ while true; do ! grep ^error .benchmarks >/dev/null 2>/dev/null - good_flag="$(sort -n < .benchmarks | cut -d ' ' -f 2 | sed 1q)" + good_flag="$(median < .benchmarks | sort -n | cut -d ' ' -f 2 | sed 1q)" if [ "${good_flag}" = zzz ] || [ $pass = 2 ]; then if [ $pass = 1 ]; then pass=2 |