From 202258cc87b44a1026cb49b661f3a66bb9bf9514 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 9 Mar 2022 10:30:37 +0100
Subject: [PATCH] chore: Nix: remove debug flag

---
 nix/lean-dev.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix/lean-dev.in b/nix/lean-dev.in
index 9bee622ee6..02849ad55f 100644
--- a/nix/lean-dev.in
+++ b/nix/lean-dev.in
@@ -1,6 +1,6 @@
 #!@bash@/bin/bash
 
-set -euxo pipefail
+set -euo pipefail
 
 root="."
 # find package root