This commit is contained in:
Franjo Mindek
2025-09-24 14:37:44 +02:00
parent ba1f1d6468
commit 43b784ca60

View File

@@ -140,7 +140,7 @@ recreate_derived_dir() {
echo "DONE: generated ${DERIVED_DIR}/"
(cd "${DERIVED_DIR}" && git init -b main)
(cd "${DERIVED_DIR}" && git init -b main -q)
if [ ${num_patches_failed} -gt 0 ]; then
echo -e "${RED_COLOR}${num_patches_failed} patches failed, look into generated files for merge conflicts.${RESET_COLOR}"