From acb6240ccba687f72858a90dbbaa8a510780a3a4 Mon Sep 17 00:00:00 2001
From: Vivien <xr_a_y@yahoo.fr>
Date: Sat, 9 May 2020 20:04:45 +0200
Subject: [PATCH] compiler options

---
 Tools/build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Tools/build.sh b/Tools/build.sh
index d801c9bd..761bab0d 100755
--- a/Tools/build.sh
+++ b/Tools/build.sh
@@ -43,7 +43,8 @@ echo "Building $exe"
 
 WARN="-Wall -Wcast-qual -Wno-char-subscripts -Wno-reorder -Wmaybe-uninitialized -pedantic -Wextra -Wshadow -Wfatal-errors"
 
-OPT="-s $WARN $d -DNDEBUG -O3 $t --std=c++14" ; DEPTH=20
+OPT="-s -fno-exceptions $WARN $d -DNDEBUG -O3 $t --std=c++14" ; DEPTH=20
+#OPT="-fno-exceptions $WARN $d -DNDEBUG -O3 -g -ggdb -fno-omit-frame-pointer $t --std=c++14" ; DEPTH=20
 #OPT="$WARN $d -DNDEBUG -g $t --std=c++14" ; DEPTH=10
 #OPT="$WARN $d -g $t --std=c++14" ; DEPTH=10