Ravenbrook/mps-temporary — pull request #1 by waywardmonkeys (2013-07-05 09:10:17+00:00)
Title: Don't define _GNU_SOURCE if already defined.

When using the build method of including the MPS directly into
one's own sources, that build system may already define _GNU_SOURCE
causing a warning here about re-defining it.