Fix #8641, creating directories when we have stubs.
[ghc.git] / vagrant /
drwxr-xr-x   ..
-rwxr-xr-x 50 bootstrap-deb.sh
-rwxr-xr-x 183 bootstrap-rhel.sh