max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: Nix: remove debug flag

Browse source
This commit is contained in:
Sebastian Ullrich 2022-03-09 10:30:37 +01:00
parent a7438e9eae
commit 202258cc87
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
nix/lean-dev.in
View file

@ -1,6 +1,6 @@
#!@bash@/bin/bash
set -euxo pipefail
set -euo pipefail
root="."
# find package root