Commit 5db1745cf773cb8fea0b95948e05d767179108e5

Thomas de Grivel 2023-12-07T15:11:51

silence configure

1
2
3
4
5
6
7
8
9
10
11
12
13
diff --git a/configure b/configure
index fe4ef33..3dadc8b 100755
--- a/configure
+++ b/configure
@@ -11,7 +11,7 @@
 ## AUTHOR BE CONSIDERED LIABLE FOR THE USE AND PERFORMANCE OF
 ## THIS SOFTWARE.
 
-set -e -v
+set -e
 
 export SRC_TOP="$(pwd)"