WiP! Remove dead string replacement in genodeSources
This commit is contained in:
parent
6df36acfbc
commit
84f89dee00
|
@ -42,8 +42,6 @@ let
|
||||||
];
|
];
|
||||||
configurePhase = ''
|
configurePhase = ''
|
||||||
patchShebangs ./tool
|
patchShebangs ./tool
|
||||||
substituteInPlace repos/base/etc/tools.conf \
|
|
||||||
--replace "/usr/local/genode/tool/19.05/bin/" ""
|
|
||||||
substituteInPlace tool/check_abi \
|
substituteInPlace tool/check_abi \
|
||||||
--replace "exec nm" "exec ${toolPrefix}nm"
|
--replace "exec nm" "exec ${toolPrefix}nm"
|
||||||
'';
|
'';
|
||||||
|
|
Loading…
Reference in New Issue