Sign in
opensecura
/
sw
/
kelvin
/
c76bc0c54e17a643543ae36a8f6077b803eeda89
/
.
/
examples
/
hello_world
/
BUILD
blob: 2e675343e43e6e1aa35b6a1383f9c9f603e8ee43 [
file
] [
log
] [
blame
]
load
(
"//build_tools/bazel:kelvin.bzl"
,
"kelvin_binary"
)
kelvin_binary
(
name
=
"hello_world"
,
srcs
=
[
"hello_world.c"
,
],
deps
=
[
"//crt"
,
]
)