kdesrc-build: update page (#12290)

2024-02-18 21:19:06 +02:00 · 2024-02-18 21:19:06 +02:00 · 51b4938e0b
parent 412802f715
commit 51b4938e0b
1 changed files with 4 additions and 0 deletions
--- 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}}`