blob: 960e0c5a37079bb857e67bb3632565162d8c79fa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
package(default_visibility = ["//visibility:public"])
filegroup(
name = "launcher_windows",
srcs = select({
"//src:remote": ["//src/tools/launcher:launcher"],
"//conditions:default": ["launcher.exe"],
}),
)
filegroup(
name = "launcher",
srcs = select({
"//src:host_windows": [":launcher_windows"],
"//src:host_windows_msvc": [":launcher_windows"],
"//src:host_windows_msys": [":launcher_windows"],
"//conditions:default": [
"//src/tools/launcher:launcher",
],
}),
)
|
