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