Skip to content

add INCLUDE_OPTIONAL+ command#10

Open
jeinwag wants to merge 1 commit intoedrevo:masterfrom
jeinwag:include_optional
Open

add INCLUDE_OPTIONAL+ command#10
jeinwag wants to merge 1 commit intoedrevo:masterfrom
jeinwag:include_optional

Conversation

@jeinwag
Copy link

@jeinwag jeinwag commented Aug 16, 2021

Added an INCLUDE_OPTIONAL+ command - it does the same as INCLUDE+, but the build won't fail if the included file does not exist.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant