diff options
| author | Scott Gasch <[email protected]> | 2026-10-13 08:59:29 -0700 |
|---|---|---|
| committer | Scott Gasch <[email protected]> | 2026-10-13 08:59:29 -0700 |
| commit | f03bcac9ce3c6542310010bfbef2b126bb6ae861 (patch) | |
| tree | fb30befe5cdd08d126d38009a5a62ca3ef40e9f9 /src/GNUmakefile | |
| parent | 03545c4600df81b1a47dbc63fc606c065e857d8b (diff) | |
Minor changes; eval code was play tested as ~even.
Diffstat (limited to 'src/GNUmakefile')
| -rw-r--r-- | src/GNUmakefile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/GNUmakefile b/src/GNUmakefile index 5879d31..9831428 100644 --- a/src/GNUmakefile +++ b/src/GNUmakefile @@ -154,6 +154,16 @@ endif ifdef PERF_COUNTERS PROFILE += -DPERF_COUNTERS endif +# 2026-10-10: this flag was referenced (search.c's joint-table/marginal +# collection block, #ifdef FH_TABLE_COLLECTION) but never actually wired +# to a compiler define anywhere in this makefile -- every prior +# collection run must have been built some other way (or this gap +# predates the comment claiming it's "a live, in-progress collection +# run"). Requires PERF_COUNTERS=1 too (the block this gates is nested +# inside an outer #ifdef PERF_COUNTERS). +ifdef FH_TABLE_COLLECTION +PROFILE += -DFH_TABLE_COLLECTION +endif ifdef MOVE_ORDERING_EVIDENCE_COLLECTION PROFILE += -DMOVE_ORDERING_EVIDENCE_COLLECTION endif |