rust/scripts
2021-01-30 16:25:48 +01:00
..
cargo.sh Add documentation 2020-12-25 12:19:14 +01:00
config.sh dont set rustflags when no specific linker needed 2021-01-30 16:25:48 +01:00
filter_profile.rs Change the way JIT mode is selected 2020-12-25 11:31:33 +01:00
Readme.md Reorganize scripts 2020-09-16 16:46:02 +02:00
rustup.sh Revert "Use the new component dependency option of the rust-toolchain file" 2020-11-27 18:05:05 +01:00
test_bootstrap.sh Better build dir layout 2020-11-08 17:35:59 +01:00
tests.sh Implement lazy compilation in JIT mode 2020-12-25 12:08:21 +01:00

This directory is for scripts that are either never directly invoked or are not used very often. Scripts that are frequently used should be kept at the project root.