mirror of
https://github.com/RustPython/RustPython.git
synced 2026-06-02 19:39:49 +09:00
24 lines
319 B
Bash
Executable File
24 lines
319 B
Bash
Executable File
#!/bin/bash -e
|
|
|
|
get_crate_name() {
|
|
while [[ $# -gt 1 ]]; do
|
|
case "$1" in
|
|
--crate-name)
|
|
echo "$2"
|
|
return
|
|
;;
|
|
esac
|
|
shift
|
|
done
|
|
}
|
|
|
|
case $(get_crate_name "$@") in
|
|
rustpython_*|rustpython)
|
|
EXTRA=(-Cinstrument-coverage)
|
|
;;
|
|
|
|
*) EXTRA=() ;;
|
|
esac
|
|
|
|
exec "$@" "${EXTRA[@]}"
|