diff options
Diffstat (limited to 'github_build.sh')
| -rw-r--r-- | github_build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/github_build.sh b/github_build.sh index 78a4d4211..445b04b19 100644 --- a/github_build.sh +++ b/github_build.sh @@ -6,11 +6,11 @@ chmod u+x premake5 # generate slang-tag-version.h git describe --tags | sed -e "s/\(.*\)/\#define SLANG_TAG_VERSION \"\1\"/" > slang-tag-version.h cat slang-tag-version.h - + # Create the makefile ./premake5 gmake --cc=${CC} # Build the configuration -make config=${CONFIGURATION}_x64 -j2 +make config=${CONFIGURATION}_x64 -j`nproc` |