From da1709947695c61b85380471850390f2469079cb Mon Sep 17 00:00:00 2001 From: Nikhil Dabas Date: Wed, 23 Sep 2026 11:13:48 +0100 Subject: [PATCH] Apply subst to USER_HEADER too --- make/program | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make/program b/make/program index c9eb4bf862..c46847f147 100644 --- a/make/program +++ b/make/program @@ -44,7 +44,7 @@ endif ifneq ($(findstring allow-undefined,$(STANCFLAGS)),) USER_HEADER ?= $(dir $(STAN_TARGETS))user_header.hpp -$(STAN_TARGETS) : CXXFLAGS_PROGRAM += -include $(USER_HEADER) +$(STAN_TARGETS) : CXXFLAGS_PROGRAM += -include $(subst \,/,$(USER_HEADER)) ## # Give a better error message if the USER_HEADER is not found ##