aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--utils.nix1
1 files changed, 0 insertions, 1 deletions
diff --git a/utils.nix b/utils.nix
index 5bcbb10..4b60ba6 100644
--- a/utils.nix
+++ b/utils.nix
@@ -92,7 +92,6 @@
};
overwritingPublishScript = { docsDerivation, overwrite ? true }:
pkgs.writeShellScriptBin "publish.sh" ''
- set -euo pipefail
OUT_DOCS="${docsDerivation}"
${
if overwrite then "" else "# "