cleanup: Use tools instead of exec_tools.

The latter is deprecated.
TokTok · Dec 4, 2024 · 1690be0 · 1690be0
1 parent 9f7cdde
commit 1690be0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/BUILD.bazel b/doc/BUILD.bazel
@@ -2,8 +2,8 @@ genrule(
     name = "cimple_doc",
     outs = ["cimple.md.new"],
     cmd = "$(location //hs-tokstyle/tools:check-cimple) --help > $@",
-    exec_tools = ["//hs-tokstyle/tools:check-cimple"],
     tags = ["no-cross"],
+    tools = ["//hs-tokstyle/tools:check-cimple"],
 )
 
 sh_test(