]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
projects / thirdparty / systemd.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 94fe8c8)
mkosi: Add back accidentally removed .gdbinit file
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Mon, 8 May 2023 14:04:24 +0000 (16:04 +0200)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Thu, 11 May 2023 10:18:50 +0000 (12:18 +0200)
mkosi.presets/20-final/mkosi.extra/root/.gdbinit [new file with mode: 0644] patch | blob

diff --git a/mkosi.presets/20-final/mkosi.extra/root/.gdbinit b/mkosi.presets/20-final/mkosi.extra/root/.gdbinit
new file mode 100644 (file)
index 0000000..1a2163e
--- /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
Unnamed repository; edit this file 'description' to name the repository.