Add extension to the PGO_TRAINING_DATA_FILE so that the generated file name matches the one we try to delete.

This commit is contained in:
Tomasz Sobczyk
2020-09-13 13:47:19 +02:00
parent e4a4f4001f
commit 2e2de7607b

View File

@@ -39,7 +39,7 @@ PREFIX = /usr/local
BINDIR = $(PREFIX)/bin
### Built-in benchmark for pgo-builds
PGO_TRAINING_DATA_FILE = pgo_training_data
PGO_TRAINING_DATA_FILE = pgo_training_data.bin
PGOBENCH = ./$(EXE) bench
PGOGENSFEN = ./$(EXE) gensfen depth 3 loop 1000 output_file_name $(PGO_TRAINING_DATA_FILE)