| #!/bin/bash -e | |
| COV_RUSTFLAGS="-Zprofile -Ccodegen-units=1 \ | |
| -Cllvm_args=-inline-threshold=0 -Clink-dead-code \ | |
| -Coverflow-checks=off -Cpanic=abort" | |
| 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 | |
| (sgxcovenclave) | |
| EXTRA=${COV_RUSTFLAGS} | |
| ;; | |
| *) | |
| EXTRA= | |
| ;; | |
| esac | |
| exec "$@" $EXTRA |