rust/scripts
2020-09-29 18:41:59 +02:00
..
config.sh Add custom driver 2020-09-29 15:16:29 +02:00
filter_profile.rs Replace CG_CLIF_JIT with --jit 2020-09-29 18:41:59 +02:00
Readme.md Reorganize scripts 2020-09-16 16:46:02 +02:00
rustup.sh Reorganize scripts 2020-09-16 16:46:02 +02: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.