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: v256.6~2
X-Git-Url: http://git-history.diyao.me/?a=commitdiff_plain;h=f64ee10e4ef03ef11ff72431f15db9e98ea38550;p=systemd%2F.git

mkosi: Add back accidentally removed .gdbinit file

(cherry picked from commit b811b9addfa44dd076c6407649e74b7f016b583f)
---

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 0000000000..1a2163e3a5
--- /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