diff options
Diffstat (limited to 'github_build.sh')
| -rw-r--r-- | github_build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/github_build.sh b/github_build.sh index bd07da2bb..e178b6cc9 100644 --- a/github_build.sh +++ b/github_build.sh @@ -19,6 +19,8 @@ if [[ "${ARCH}" != "${TARGETARCH}" ]]; then # Build the configuration 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 |