diff options
Diffstat (limited to 'compile.bash')
-rwxr-xr-x | compile.bash | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/compile.bash b/compile.bash index efaa08086aba..c837e8eabbd9 100755 --- a/compile.bash +++ b/compile.bash @@ -25,6 +25,12 @@ prepare() { pip3 install --no-cache --upgrade autobuild --quiet } +cleanbuild() +{ + rm -rf build-linux-64 + git pull --prune + build() +} build() { # we have a lot of files, relax ulimit to help performance if [[ -n "$USE_VENV" ]]; then |