diff options
Diffstat (limited to '.gitlab/ci.sh')
| -rwxr-xr-x | .gitlab/ci.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index f55d4e1f92..906a9ffc81 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -718,7 +718,6 @@ function save_cache () { function clean() { rm -R tmp - run "$MAKE" --quiet clean || true run rm -Rf _build } |