]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #52540 - alexcrichton:tweak-script, r=kennytm
authorkennytm <kennytm@gmail.com>
Fri, 20 Jul 2018 18:59:10 +0000 (02:59 +0800)
committerkennytm <kennytm@gmail.com>
Fri, 20 Jul 2018 20:08:11 +0000 (04:08 +0800)
Fix docker/run.sh script when run locally

Switch a `mkdir $foo` to `mkdir -p $foo` to handle the case that this script is
being run locally and has previously executed.


Trivial merge