mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-03 01:30:41 +00:00
4299b85cdb
This restores behavior introduced in commit cb232891bfb1882e9ef7b8a250eb4b14e0825434 Author: Norman Feske <norman.feske@genode-labs.com> Date: Tue May 10 11:55:25 2016 +0200 Fix noux.run on base-linux but removed by issue #2829. Related to issue #1938