From db4aed42d69701088aa82274d7539706b9bae011 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sat, 30 Jun 2018 16:59:40 +0700 Subject: [PATCH] Add %{build_profile} variable Added for testing but could come in handy elsewhere Signed-off-by: Rudi Grinberg --- src/super_context.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/super_context.ml b/src/super_context.ml index 05fd103a..181de7b5 100644 --- a/src/super_context.ml +++ b/src/super_context.ml @@ -309,6 +309,7 @@ let create ; "ext_lib" , string context.ext_lib ; "ext_dll" , string context.ext_dll ; "ext_exe" , string context.ext_exe + ; "build_profile" , string context.profile ] in let vars =