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 8a0fd8b79..7e23294a6 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} --enable-embed-stdlib=true --arch=${ARCH} --deps=true +./premake5 gmake --cc=${CC} --enable-embed-stdlib=true --arch=${ARCH} --deps=true --no-progress=true # Build the configuration make config=${CONFIGURATION}_x64 -j`nproc` |