Makefile.defs: map gcc v10.x to 9.0+ options master
authorDaniel-Constantin Mierla <miconda@gmail.com>
Wed, 5 Aug 2020 14:38:01 +0000 (16:38 +0200)
committerDaniel-Constantin Mierla <miconda@gmail.com>
Wed, 5 Aug 2020 14:38:01 +0000 (16:38 +0200)
commit79e7738027a40affa4c7f606bf55a3ad0fe31bc4
tree46d5aba4f092afcf2a81ef4d3a23c83c1a6477c7
parent301302531c630803222e7f14a1c113b1a400f7a1
Makefile.defs: map gcc v10.x to 9.0+ options

- detect properly the 10.x gcc version number, GH #2425
src/Makefile.defs