Command line export compiled binary

[andrethomas]

Hi,

How do I do this from command line on Linux?

[per1234]

Closing as duplicate of #6931

I see you're well aware of that issue. So you should have known better than to clutter the issue tracker with a duplicate.

In the future, please only open issues if you have a unique bug report or feature request.

[andrethomas]

Actually only found the other issue later and found a solution myself :) Thanks for closing, forgot about this one. Thanks