amend to non-GNU-make specific approach

stan-dev · Nov 21, 2023 · 48ca5e6 · 48ca5e6
1 parent 57eb00e
commit 48ca5e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/R/utils.R b/R/utils.R
@@ -678,7 +678,7 @@ get_cmdstan_flags <- function(flag_name) {
   cmdstan_path <- cmdstanr::cmdstan_path()
   flags <- wsl_compatible_run(
     command = "make",
-    args = c("--no-print-directory", paste0("print-", flag_name)),
+    args = c("-s", paste0("print-", flag_name)),
     wd = cmdstan_path
   )$stdout