mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
48ff710aaa
as monorepo-jvm-builder is required to build community apart from the whole ultimate project GitOrigin-RevId: d9a78854b3f48d182c423ba7269b3bf1c0d4141a
16 lines
508 B
Plaintext
16 lines
508 B
Plaintext
### Profiles ###
|
|
|
|
# ci — configuration tailored for CI
|
|
|
|
### --- ###
|
|
import common.bazelrc
|
|
|
|
# Disk Cache
|
|
build --experimental_disk_cache_gc_max_size=32G --experimental_disk_cache_gc_max_age=28d
|
|
common:macos --disk_cache=~/Library/Caches/JetBrains/community-bazel-disk-cache
|
|
common:linux --disk_cache=~/.cache/JetBrains/community-bazel-disk-cache
|
|
common:windows --disk_cache=~/AppData/Local/Temp/JetBrains/community-bazel-disk-cache
|
|
|
|
# TeamCity-specific options
|
|
common:teamcity --show_progress_rate_limit=30
|