tag gdb targets as manual (#63)

oliverlee · web-flow · commit 907742f22c99 · 2025-08-30T22:11:10.000Z
Avoid eagerly fetching `gdb` if it is not (in)directly requested.

Change-Id: I2385d8f58278af0efd6eddb8f9ae97db836352d9
diff --git a/BUILD.bazel b/BUILD.bazel
@@ -19,6 +19,7 @@ filegroup(
 alias(
     name = "gdb",
     actual = "@gdb",
+    tags = ["manual"],
     visibility = ["//visibility:public"],
 )
 
@@ -35,6 +36,7 @@ qemu_runner(
 
 gdb_qemu_runner(
     name = "gdb_qemu_runner",
+    tags = ["manual"],
     visibility = ["//visibility:public"],
 )
 

Original file line number	Diff line number	Diff line change
`@@ -19,6 +19,7 @@ filegroup(`
`19`	`19`	`alias(`
`20`	`20`	`name = "gdb",`
`21`	`21`	`actual = "@gdb",`
	`22`	`+ tags = ["manual"],`
`22`	`23`	`visibility = ["//visibility:public"],`
`23`	`24`	`)`
`24`	`25`
`@@ -35,6 +36,7 @@ qemu_runner(`
`35`	`36`
`36`	`37`	`gdb_qemu_runner(`
`37`	`38`	`name = "gdb_qemu_runner",`
	`39`	`+ tags = ["manual"],`
`38`	`40`	`visibility = ["//visibility:public"],`
`39`	`41`	`)`
`40`	`42`