diff options
| author | Zephaniah Ong <zealorez@gmail.com> | 2023-02-14 10:38:18 +0800 |
|---|---|---|
| committer | Zephaniah Ong <zealorez@gmail.com> | 2023-02-15 15:19:49 +0800 |
| commit | 54cfc10fa593b512315f17a7df5235c5595dac9e (patch) | |
| tree | 9aec5ec143dc15b2c88ffa2cac18d4164142320f /src/tools/miri/genmc-sys/src_cpp | |
| parent | b7089e0dd3e988270f34f182d3749ea5fff5a18f (diff) | |
| download | rust-54cfc10fa593b512315f17a7df5235c5595dac9e.tar.gz rust-54cfc10fa593b512315f17a7df5235c5595dac9e.zip | |
make x look for x.py if shell script does not exist
bump up x version Refactor code
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp')
0 files changed, 0 insertions, 0 deletions