diff options
| author | Tor Hovland <tor.hovland@bekk.no> | 2021-11-02 22:41:34 +0100 |
|---|---|---|
| committer | Tor Hovland <tor.hovland@bekk.no> | 2021-11-02 22:41:34 +0100 |
| commit | 5d1e09f44ab0bd3ca29acf44d92e884ec140d00a (patch) | |
| tree | 57ecc54c99e43c3668a72ad77b3d7cb8937cd15c /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 18bc4bee9710b181b440a472635150f0d6257713 (diff) | |
| download | rust-5d1e09f44ab0bd3ca29acf44d92e884ec140d00a.tar.gz rust-5d1e09f44ab0bd3ca29acf44d92e884ec140d00a.zip | |
Added the --temps-dir option.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions