From 3cd1c3b9888ee4dfee0f0694061e6976949d5245 Mon Sep 17 00:00:00 2001
From: Guillaume Maudoux <guillaume.maudoux@tweag.io>
Date: Sat, 22 Oct 2022 23:41:05 +0200
Subject: [PATCH] Revert local settings merged by error

---
 .gitignore | 1 -
 mk/lib.mk  | 2 --
 2 files changed, 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index d7f310396..8e0db013f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -129,4 +129,3 @@ nix-rust/target
 result
 
 .vscode/
-baseline
diff --git a/mk/lib.mk b/mk/lib.mk
index 49f505ff8..92f0983d5 100644
--- a/mk/lib.mk
+++ b/mk/lib.mk
@@ -87,8 +87,6 @@ endif
 # Pass -g if we want debug info.
 BUILD_DEBUG ?= 1
 
-GLOBAL_CXXFLAGS += -gdwarf-4
-
 ifeq ($(BUILD_DEBUG), 1)
   GLOBAL_CFLAGS += -g
   GLOBAL_CXXFLAGS += -g