diff options
| author | jsmall-nvidia <jsmall@nvidia.com> | 2022-06-13 18:12:59 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-13 18:12:59 -0400 |
| commit | b3707a61a5cd21573303c69c3ee32ffd5446829a (patch) | |
| tree | 1c3dd0ca55bb978b4d53648b28c75d18af4eb010 /premake5.lua | |
| parent | c90c6ab750ab05dd6d337e4f857958b8f3d00153 (diff) | |
Hotfix/default embed stdlib source (#2276)
* #include an absolute path didn't work - because paths were taken to always be relative.
* Remove default for `disable-stdlib-source`
Diffstat (limited to 'premake5.lua')
| -rw-r--r-- | premake5.lua | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/premake5.lua b/premake5.lua index dcbc4c8af..ecd2422dd 100644 --- a/premake5.lua +++ b/premake5.lua @@ -164,7 +164,6 @@ newoption { trigger = "disable-stdlib-source", description = "(Optional) If true stdlib source will not be included in binary.", value = "bool", - default = "false", allowed = { { "true", "True"}, { "false", "False" } } } |
