diff options
| author | Tyler Mandry <tmandry@google.com> | 2020-09-29 20:13:52 +0000 |
|---|---|---|
| committer | Tyler Mandry <tmandry@google.com> | 2020-09-29 20:13:52 +0000 |
| commit | 63eaa60294ad5b67baf6c44d48ef67654f538710 (patch) | |
| tree | ac5acb7b9af48a7e2c9f30aba118d4a6a02776b6 /src/tools/miri/genmc-sys/src_cpp | |
| parent | 6bd57e3531573ea4727b247d1db37046537b4e22 (diff) | |
| download | rust-63eaa60294ad5b67baf6c44d48ef67654f538710.tar.gz rust-63eaa60294ad5b67baf6c44d48ef67654f538710.zip | |
Use --host='' instead of --host ''
Trying to fix a problem in CI. Maybe some version of Docker is not passing '' args correctly?
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp')
0 files changed, 0 insertions, 0 deletions