diff options
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 b0970a903..78a4d4211 100644 --- a/github_build.sh +++ b/github_build.sh @@ -11,6 +11,6 @@ cat slang-tag-version.h ./premake5 gmake --cc=${CC} # Build the configuration -make config=${CONFIGURATION}_x64 +make config=${CONFIGURATION}_x64 -j2 |