Hi Christian,
I tried the test from the link you have send i.e.
$ echo "int main() { return 0; }" > test.c
$ gcc -o test test.c
$ strip test
And it worked just fine.
Then I've tried
$/usr/local/genode/tool/19.05/bin/genode-x86-strip -o test.strip test
And it also works fine, so I assume there is another reason for the
failure, but there were no previous error messages.
Best regards,
S.P.
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users
