diff options
| author | Yong He <yonghe@outlook.com> | 2022-09-28 15:03:32 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-28 15:03:32 -0700 |
| commit | 3dce6e08dd74c6dfbfb8f553eaf18200a6bf6f2a (patch) | |
| tree | 54940c59f4af40704c2ea4b13bc4804305f21c26 /github_build.sh | |
| parent | eb5c6b93543ca1423117045dbbfee0b6f653d392 (diff) | |
Fix release CI script. (#2419)
* Fix release CI script.
* Fix.
* Fix.
Co-authored-by: Yong He <yhe@nvidia.com>
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 |