d01391b40d
Will override a user.bazelrc setting, except if it's specified for a specific OS (eg build:windows)
16 lines
327 B
Batchfile
Executable File
16 lines
327 B
Batchfile
Executable File
@echo off
|
|
|
|
if not exist WORKSPACE (
|
|
echo Run from project root
|
|
exit /b 1
|
|
)
|
|
|
|
rd /s /q bazel-dist
|
|
|
|
set BUILDARGS=-k -c opt dist --color=yes --@io_bazel_rules_rust//worker:use_worker=False
|
|
call .\bazel build %BUILDARGS%
|
|
:: repeat on failure
|
|
IF %ERRORLEVEL% NEQ 0 call .\bazel build %BUILDARGS%
|
|
|
|
tar xvf bazel-bin\dist.tar
|