matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Rename %{build_profile} to %{profile} 

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
Rudi Grinberg 2018-07-02 12:52:48 +07:00
parent a877fc00df
commit d19e55bd4d
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/super_context.ml
View File

@ -309,7 +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
; "profile" , string context.profile
]
in
let vars =

2
test/blackbox-tests/test-cases/workspaces/custom-profile/dune
View File

@ -1,3 +1,3 @@
(alias
(name runtest)
(action (echo "build profile: %{build_profile}")))
(action (echo "build profile: %{profile}")))