colobot/colobot — pull request #259 by OdyX (2013-12-03 15:29:30+00:00)
Title: Fix GNU non-Linux platforms

Add a PLATFORM_GNU global variable matching all GNU systems such as Debian's Linux, kFreeBSD and Hurd.