File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -156,14 +156,15 @@ fix_permissions() {
156
156
# When using Docker on Linux, the `rsync` command creates files owned by root.
157
157
# Compute the user ID and group ID of this script on the non-Docker side, and ask
158
158
# Docker to adjust permissions accordingly.
159
- docker run -v " ${PWD} " :/mnt/ --rm --entrypoint chown ubuntu:18.04 -R " $USER_AND_GROUP " /mnt/output/
159
+ if [ -d output ] ; then
160
+ docker run -v " ${PWD} " :/mnt/ --rm --entrypoint chown ubuntu:18.04 -R " $USER_AND_GROUP " /mnt/output/
161
+ fi
160
162
}
161
163
162
164
function main() {
163
165
echo ' Starting Docker builds.'
164
166
165
167
# Clear the output directory.
166
- mkdir -p output
167
168
fix_permissions
168
169
rm -rf ./output/3.7
169
170
mkdir -p output/3.7
You can’t perform that action at this time.
0 commit comments