diff options
| author | jsmall-nvidia <jsmall@nvidia.com> | 2022-06-12 20:20:04 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-12 17:20:04 -0700 |
| commit | af331cd9eefe0507f1eaf92d726512d04dbf2b97 (patch) | |
| tree | 95a27165342d8f25aef037226aa29de9cec4446d /source/core | |
| parent | 4db6bd3cd6da1871fdac520c280bd9f933e48489 (diff) | |
Only disable stdlib source when stdlib embedding is enabled (#2268)
* #include an absolute path didn't work - because paths were taken to always be relative.
* Only disable source, if there is stdlib embedding.
* Disable by default stdlib source embedding if stdlib binary embedding is enabled.
* Fix typo
* Improve comments.
Diffstat (limited to 'source/core')
0 files changed, 0 insertions, 0 deletions