diff options
author | davidovski <david@davidovski.xyz> | 2022-05-29 01:06:01 +0100 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-05-29 01:06:01 +0100 |
commit | 2071df5dade8483e468e6efd5ff0091d5cb6c525 (patch) | |
tree | 6870a0d822e1d409c7e46df4e0ae1b2ae64d725b /repo/apps/chromium/gdbinit.patch | |
parent | 5170f5c85fe0e84fe8af55c6a024c7b6e844b0f1 (diff) |
temporarily disabled chromium
Diffstat (limited to 'repo/apps/chromium/gdbinit.patch')
-rw-r--r-- | repo/apps/chromium/gdbinit.patch | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/repo/apps/chromium/gdbinit.patch b/repo/apps/chromium/gdbinit.patch deleted file mode 100644 index 39d3464..0000000 --- a/repo/apps/chromium/gdbinit.patch +++ /dev/null @@ -1,21 +0,0 @@ ---- ./tools/gdb/gdbinit.orig -+++ ./tools/gdb/gdbinit -@@ -50,17 +50,7 @@ - - def set_src_dir(compile_dir): - global src_dir -- git = subprocess.Popen( -- ['git', '-C', compile_dir, 'rev-parse', '--show-toplevel'], -- stdout=subprocess.PIPE, -- stderr=subprocess.PIPE) -- src_dir, _ = git.communicate() -- if git.returncode: -- return -- if isinstance(src_dir, str): -- src_dir = src_dir.rstrip() -- else: -- src_dir = src_dir.decode('utf-8').rstrip() -+ src_dir = os.path.abspath(os.getcwd()) - - load_libcxx_pretty_printers(src_dir) - |