mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 06:33:31 +00:00
d58509f446
Since user-land tools tend to look for <poll.h> instead of <sys/poll.h> make them happy like w/o resorting to patch the source. Fixes #1356.
2 lines
41 B
Plaintext
2 lines
41 B
Plaintext
1f3035bb342960e15effef162cf4d2f50fbb7d7f
|