From 84f89dee0028cfa672187c64fb9641437afbc859 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Mon, 28 Dec 2020 11:26:45 +0100
Subject: [PATCH] WiP! Remove dead string replacement in genodeSources

---
 packages/genodelabs/default.nix | 2 --
 1 file changed, 2 deletions(-)

diff --git a/packages/genodelabs/default.nix b/packages/genodelabs/default.nix
index 7e68747..ca2adda 100644
--- a/packages/genodelabs/default.nix
+++ b/packages/genodelabs/default.nix
@@ -42,8 +42,6 @@ let
       ];
       configurePhase = ''
         patchShebangs ./tool
-        substituteInPlace repos/base/etc/tools.conf \
-          --replace "/usr/local/genode/tool/19.05/bin/" ""
         substituteInPlace tool/check_abi \
           --replace "exec nm" "exec ${toolPrefix}nm"
       '';