docs: terminate build on shell-script error

This commit is contained in:
wolbyte
2023-09-09 17:51:52 +02:00
committed by Gaétan Lepage
parent e9034f116d
commit 6efbb5353c
+1 -1
View File
@@ -236,7 +236,7 @@ with lib; let
# Copy the generated MD docs into the build directory
# Using pkgs.writeShellScript helps to avoid the "bash: argument list too long" error
${pkgs.writeShellScript "copy_docs" docs.commands}
bash -e ${pkgs.writeShellScript "copy_docs" docs.commands}
# Prepare SUMMARY.md for mdBook
# Using pkgs.writeText helps to avoid the same error as above