Merge pull request #1958 from sergey-safarov/mips
authorDaniel-Constantin Mierla <miconda@gmail.com>
Mon, 20 May 2019 07:16:49 +0000 (09:16 +0200)
committerGitHub <noreply@github.com>
Mon, 20 May 2019 07:16:49 +0000 (09:16 +0200)
src/Makefile.defs: fix build on mips


Trivial merge