diff options
Diffstat (limited to 'github_build.sh')
| -rw-r--r-- | github_build.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/github_build.sh b/github_build.sh index c35cff192..d905ec5eb 100644 --- a/github_build.sh +++ b/github_build.sh @@ -20,6 +20,10 @@ if [[ "aarch64" == "${TARGETARCH}" && "release" == "${CONFIGURATION}" ]]; then glslangBuildFlag="--build-glslang=true" fi +if [[ ! -z ${GLIBC_COMPATIBLE} ]]; then + glibcCompatible="--glibcForwardCompatible=true" +fi + if [[ "${ARCH}" != "${TARGETARCH}" ]]; then # Create the makefile @@ -35,7 +39,7 @@ rm -rf ./bin else # Create the makefile -./premake5 gmake2 --cc=${CC} --enable-embed-stdlib=true --arch=${TARGETARCH} --deps=true --no-progress=true ${glslangBuildFlag} +./premake5 gmake2 --cc=${CC} --enable-embed-stdlib=true --arch=${TARGETARCH} --deps=true --no-progress=true ${glslangBuildFlag} ${glibcCompatible} fi # Build the configuration |