bootstrap.sh: don't fail hard if the overwriting profile is not there yet

diff --git a/libexec/bootstrap.sh b/libexec/bootstrap.sh
index 9445a55..302ba67 100755 (executable)
--- a/libexec/bootstrap.sh
+++ b/libexec/bootstrap.sh
@@ -130,7 +130,13 @@ then
     echo "Use --overwrite-profile to copy over it." 1>&2
     exit 1
   else
     echo "Use --overwrite-profile to copy over it." 1>&2
     exit 1
   else

-    cp -a "$INSTALLATION_PROFILE" "${WEB_ROOT}/profiles"
+    if [ -d "$INSTALLATION_PROFILE" ];
+    then
+      cp -a "$INSTALLATION_PROFILE" "${WEB_ROOT}/profiles"
+    else
+      echo "Local installation profile '$INSTALLATION_PROFILE' not found." 1>&2
+      echo "Cannot honour the --overwrite-profile option." 1>&2
+    fi

   fi
 fi
 
   fi
 fi