CI: remove unused 'ci-ccache-size.bash' (#2688)

This commit is contained in:
Unai Martinez-Corral 2020-12-10 21:59:31 +01:00 committed by GitHub
parent 8e178ca4a9
commit 2998890647
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,37 +0,0 @@
#!/usr/bin/env bash
# DESCRIPTION: Verilator: CI ccache sizer
#
# Copyright 2020 by Geza Lore. This program is free software; you
# can redistribute it and/or modify it under the terms of either the GNU
# Lesser General Public License Version 3 or the Perl Artistic License
# Version 2.0.
#
# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
################################################################################
# This script computes the size of the ccache to be used for a job. We want the
# ccache to be just big enough to be able to hold a whole build so a re-build
# of the same does not miss in the cache due to capacity, but we don't want the
# ccache too big as pulling it down from the network takes time, and it is
# unlikely objects from much earlier builds would be useful.
################################################################################
fatal() {
echo "ERROR: $(basename "$0"): $1" >&2; exit 1;
}
if [ "$CI_BUILD_STAGE_NAME" = "build" ]; then
if [ "$COVERAGE" == 1 ]; then
echo "4096M"
else
echo "4096M"
fi
elif [ "$CI_BUILD_STAGE_NAME" = "test" ]; then
if [[ $TESTS == coverage-* ]]; then
echo "4096M"
else
echo "4096M"
fi
else
fatal "Unknown build stage: '$CI_BUILD_STAGE_NAME'"
fi