From: Daan De Meyer <daan.j.demeyer@gmail.com>
Date: Mon, 8 May 2023 14:04:24 +0000 (+0200)
Subject: mkosi: Add back accidentally removed .gdbinit file
X-Git-Tag: v254-rc1~509^2~3
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=b811b9addfa44dd076c6407649e74b7f016b583f;p=thirdparty%2Fsystemd.git

mkosi: Add back accidentally removed .gdbinit file
---

diff --git a/mkosi.presets/20-final/mkosi.extra/root/.gdbinit b/mkosi.presets/20-final/mkosi.extra/root/.gdbinit
new file mode 100644
index 00000000000..1a2163e3a54
--- /dev/null
+++ b/mkosi.presets/20-final/mkosi.extra/root/.gdbinit
@@ -0,0 +1,3 @@
+set debuginfod enabled off
+set build-id-verbose 0
+set substitute-path ../src /root/src