Using binaries with debugging symbols instead of stripped binaries

[Parfait Tokponnon]

Hello,
I am using Genode with Nova kernel and I would like to build seoul-net
scenario with the un-stripped binaries (the kernel also included) for
debugging purpose. Currently, the build script uses stripped binaries by
default.
I found in old mailing exchanges that this may be achieved by commenting
'copy_and_strip_genode_binaries_to_run_dir' in tool/run/run but this line
is not available anymore in the current version.
How can I instruct the build script to use the debugging binaries?


-- 
Parfait T.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20190401/22067fac/attachment.html>