Update build.sh

2020-06-28 14:00:45 -06:00 · 2020-06-28 14:00:45 -06:00 · 611c091e7d
commit 611c091e7d
parent 1a2d296b58
1 changed files with 2 additions and 1 deletions
--- a/build.sh
+++ b/build.sh
@ -42,8 +42,9 @@ do
    # Clone and copy the repository
    rm -rf "$(basename "$git" .git)"
    git clone $git || { echo "clone $git failed, quitting" ; exit 1; }
+    echo "Creating work directory..."
    rm -rf work
-    mkdir work
+    mkdir --verbose work
    cp -r "$(basename "$git" .git)"/* work/ && cd work

    # Copy default files