RIOT-OS/RIOT — pull request #1493 by authmillenon (2014-07-29 20:58:21+00:00)
Title: Add some more POSIX headers needed for dash

Depends on #1166