Sign in
fuchsia
/
fuchsia
/
cafe43e483c36c5bfaa6e2decea566ed245832f8
/
.
/
third_party
/
rust_crates
/
vendor
/
sct
/
admin
/
coverage-rustc
blob: c62c6fbf8e92c5bdb7008581059bff13e702c101 [
file
] [
log
] [
blame
]
#!/bin/bash -e
get_crate_name
()
{
while
[[
$
# -gt 1 ]] ; do
v
=
$1
case
$v
in
--
crate
-
name
)
echo $2
return
;;
esac
shift
done
}
case
$
(
get_crate_name
"$@"
)
in
sct
)
EXTRA
=
$COVERAGE_OPTIONS
;;
*)
;;
esac
exec
"$@"
$EXTRA