mkosi: Add back accidentally removed .gdbinit file

2023-05-11 12:18:50 +02:00
parent 94fe8c87c7
commit b811b9addf
1 changed files with 3 additions and 0 deletions
@@ -0,0 +1,3 @@
+set debuginfod enabled off
+set build-id-verbose 0
+set substitute-path ../src /root/src