diff options
| author | jsmall-nvidia <jsmall@nvidia.com> | 2020-12-14 16:18:51 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-14 16:18:51 -0500 |
| commit | 1bc794845317c952a5167936f9087e99b86bd0cb (patch) | |
| tree | 2b6c69f8549ec262e58bf589bf7d818dc0853315 /github_build.sh | |
| parent | 856d7d3705cedabcc2e9389a3f0ac730b0e33476 (diff) | |
Enable embedding stdlib for github builds (#1640)
* #include an absolute path didn't work - because paths were taken to always be relative.
* Enable building with embedding stdlib.
Diffstat (limited to 'github_build.sh')
| -rw-r--r-- | github_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/github_build.sh b/github_build.sh index 445b04b19..ff76bf65e 100644 --- a/github_build.sh +++ b/github_build.sh @@ -8,7 +8,7 @@ git describe --tags | sed -e "s/\(.*\)/\#define SLANG_TAG_VERSION \"\1\"/" > sla cat slang-tag-version.h # Create the makefile -./premake5 gmake --cc=${CC} +./premake5 gmake --cc=${CC} --enable-embed-stdlib=true # Build the configuration make config=${CONFIGURATION}_x64 -j`nproc` |