4d1a11d354
If you've been using `./util/dev` before, this now becomes `cargo dev`. The key part of this change is found in `.cargo/config`. This means one less shell script and a bit more cross-platform support for contributors.
8 lines
186 B
Bash
Executable File
8 lines
186 B
Bash
Executable File
#!/bin/sh
|
|
CARGO_TARGET_DIR=$(pwd)/target/
|
|
export CARGO_TARGET_DIR
|
|
|
|
echo 'Deprecated! `util/dev` usage is deprecated, please use `cargo dev` instead.'
|
|
|
|
cd clippy_dev && cargo run -- "$@"
|