From 51b4938e0b4325354b6e6ebc435aadaf81cdedcb Mon Sep 17 00:00:00 2001
From: Managor <42655600+Managor@users.noreply.github.com>
Date: Sun, 18 Feb 2024 21:19:06 +0200
Subject: [PATCH] kdesrc-build: update page (#12290)

---
 pages/linux/kdesrc-build.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pages/linux/kdesrc-build.md b/pages/linux/kdesrc-build.md
index 5dfee5200..4b2a7cb24 100644
--- a/pages/linux/kdesrc-build.md
+++ b/pages/linux/kdesrc-build.md
@@ -30,3 +30,7 @@
 - Build all configured components:
 
 `kdesrc-build`
+
+- Use system libraries in place of a component if it fails to build:
+
+`kdesrc-build --no-stop-on-failure {{component_name}}`