2018-07-17 22:50:17 +02:00
|
|
|
#!/bin/sh
|
2019-10-18 06:10:15 +02:00
|
|
|
CARGO_TARGET_DIR=$(pwd)/target/
|
|
|
|
export CARGO_TARGET_DIR
|
2018-07-17 22:50:17 +02:00
|
|
|
|
2020-01-30 08:33:48 +01:00
|
|
|
echo 'Deprecated! `util/dev` usage is deprecated, please use `cargo dev` instead.'
|
|
|
|
|
2019-10-18 06:10:15 +02:00
|
|
|
cd clippy_dev && cargo run -- "$@"
|