Change scripts/os-type so that when "uname -s" returns just "GNU", the
authorPhilip Hazel <ph10@hermes.cam.ac.uk>
Wed, 6 Apr 2005 10:53:47 +0000 (10:53 +0000)
committerPhilip Hazel <ph10@hermes.cam.ac.uk>
Wed, 6 Apr 2005 10:53:47 +0000 (10:53 +0000)
commitbebaf0fc16f62691e9b05a939cb83947f4c5e415
treec8ed30fa9e34b80f33de81b4043c6ce5b5421940
parent31619da69c9e692f006db273d95d20ae279a7d39
Change scripts/os-type so that when "uname -s" returns just "GNU", the
answer is "GNU", and only if the return is "GNU/something" is the answer
"Linux".
doc/doc-txt/ChangeLog
src/scripts/os-type