Skip to content

Make get_cmdstan_flags() robust to noisy make output#1163

Merged
jgabry merged 1 commit intomasterfrom
fix-1162-stancflags-make-output
Mar 23, 2026
Merged

Make get_cmdstan_flags() robust to noisy make output#1163
jgabry merged 1 commit intomasterfrom
fix-1162-stancflags-make-output

Commits

Commits on Mar 21, 2026