diff options
| author | Brian Anderson <banderson@mozilla.com> | 2014-03-09 14:10:42 -0700 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2014-03-09 14:17:26 -0700 |
| commit | 16ec0ab542c1d6bb243e18b6705a80e7af54ef75 (patch) | |
| tree | 5381a08f80c6b0975cc85650b42374fec52edd4f | |
| parent | 67ebf8abdf3323d3201691a21c7d5ddda73bd9cf (diff) | |
| download | rust-16ec0ab542c1d6bb243e18b6705a80e7af54ef75.tar.gz rust-16ec0ab542c1d6bb243e18b6705a80e7af54ef75.zip | |
configure: Create the dist directory
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index c9fa978c8fd..11edfbca655 100755 --- a/configure +++ b/configure @@ -727,7 +727,7 @@ step_msg "making directories" for i in \ doc doc/std doc/extra \ - dl tmp + dl tmp dist do make_dir $i done |