Trigger git gc on windows only for ~5% of builds.
It takes almost 5 minutes on windows and we don't need to run it that often. Fixes #375
This commit is contained in:
parent
8d10520ca3
commit
36d951c46e
1 changed files with 7 additions and 3 deletions
|
@ -12,6 +12,10 @@
|
||||||
# See the License for the specific language governing permissions and
|
# See the License for the specific language governing permissions and
|
||||||
# limitations under the License.
|
# limitations under the License.
|
||||||
|
|
||||||
echo "running git gc"
|
# As git gc takes non-trivial time on windows, run it only 5% of the time.
|
||||||
pwd
|
if (( Get-Random -Maximum 100 ) -lt 5 ) {
|
||||||
git gc
|
echo "running git gc"
|
||||||
|
pwd
|
||||||
|
git gc
|
||||||
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Reference in a new issue