diff options
author | Emery Hemingway <ehmry@posteo.net> | 2019-01-29 15:08:43 +0100 |
---|---|---|
committer | Andreas Rumpf <rumpf_a@web.de> | 2019-01-29 15:08:43 +0100 |
commit | 15422a3e5a24d6c10d1f713cff7e04289bf7a232 (patch) | |
tree | ee5250344ef3adb8453a15753fea0f27c1beb524 /lib/wrappers | |
parent | 07a0a61875f4f5c7ac74acfd0c7dd4e4eb333dce (diff) | |
download | Nim-15422a3e5a24d6c10d1f713cff7e04289bf7a232.tar.gz |
Genode fixes (#10491)
Readline pasthru, add linker to config, do not pass -lm to linker.
Diffstat (limited to 'lib/wrappers')
0 files changed, 0 insertions, 0 deletions