diff options
| -rw-r--r-- | tools/builder_common.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/builder_common.sh b/tools/builder_common.sh index 531ce30..b47463e 100644 --- a/tools/builder_common.sh +++ b/tools/builder_common.sh @@ -1086,6 +1086,9 @@ clean_builder() { } clone_directory_contents() { + if [ ! -e "$2" ]; then + mkdir -p "$2" + fi if [ ! -d "$1" -o ! -d "$2" ]; then if [ -z "${LOGFILE}" ]; then echo ">>> ERROR: Argument $1 supplied is not a directory!" |
