Closed gabrielbmotta closed 1 year ago
Fix build flag passed with --D. Should be -D.
--D
-D
not merging because i see it rebased onto in the #937 .
This PR's content is added in #937
Fix build flag passed with
--D
. Should be-D
.