diff options
Diffstat (limited to 'github_build.sh')
| -rw-r--r-- | github_build.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/github_build.sh b/github_build.sh index e178b6cc9..b9c0f24da 100644 --- a/github_build.sh +++ b/github_build.sh @@ -14,7 +14,7 @@ fi if [[ "${ARCH}" != "${TARGETARCH}" ]]; then # Create the makefile -./premake5 gmake --cc=${CC} --enable-embed-stdlib=true --arch=${ARCH} --deps=true --no-progress=true +./premake5 gmake2 --cc=${CC} --enable-embed-stdlib=true --arch=${ARCH} --deps=true --no-progress=true # Build the configuration make config=${CONFIGURATION}_${ARCH} -j`nproc` @@ -22,11 +22,11 @@ make config=${CONFIGURATION}_${ARCH} -j`nproc` rm -rf ./bin # Create the makefile -./premake5 gmake --cc=${CC} --enable-embed-stdlib=true --arch=${TARGETARCH} --deps=true --no-progress=true --skip-source-generation=true --deploy-slang-llvm=false --deploy-slang-glslang=false +./premake5 gmake2 --cc=${CC} --enable-embed-stdlib=true --arch=${TARGETARCH} --deps=true --no-progress=true --skip-source-generation=true --deploy-slang-llvm=false --deploy-slang-glslang=false else # Create the makefile -./premake5 gmake --cc=${CC} --enable-embed-stdlib=true --arch=${TARGETARCH} --deps=true --no-progress=true +./premake5 gmake2 --cc=${CC} --enable-embed-stdlib=true --arch=${TARGETARCH} --deps=true --no-progress=true fi # Build the configuration |