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