diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2024-02-05 14:20:02 -0500 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2024-02-06 15:22:39 -0500 |
| commit | 6bb323d446e2500c5a20866b56335ac8633e1c23 (patch) | |
| tree | f7d37105eef1fdf5d9e75243cfb2dc02c8d53771 /src/parse.c | |
| parent | 3b82c88d1950291b1b703f082df43ec1b9654eb5 (diff) | |
| download | bfs-6bb323d446e2500c5a20866b56335ac8633e1c23.tar.xz | |
ctx: Fill in ctx->threads earlier
Diffstat (limited to 'src/parse.c')
| -rw-r--r-- | src/parse.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/parse.c b/src/parse.c index 4212196..3a78840 100644 --- a/src/parse.c +++ b/src/parse.c @@ -3452,14 +3452,12 @@ void bfs_ctx_dump(const struct bfs_ctx *ctx, enum debug_flags flag) { cfprintf(cerr, " ${cyn}-s${rs}"); } + cfprintf(cerr, " ${cyn}-j${bld}%d${rs}", ctx->threads); + if (ctx->optlevel != 3) { cfprintf(cerr, " ${cyn}-O${bld}%d${rs}", ctx->optlevel); } - if (ctx->threads > 0) { - cfprintf(cerr, " ${cyn}-j${bld}%d${rs}", ctx->threads); - } - cfprintf(cerr, " ${cyn}-S${rs} ${bld}%s${rs}", bftw_strategy_name(ctx->strategy)); enum debug_flags debug = ctx->debug; |