Error while building.

[Shlomo Pongratz]

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.