diff make/defs.make @ 21419:c1bb8028ff63

Support build on Linux 4.
author Roland Schatz <roland.schatz@oracle.com>
date Tue, 19 May 2015 11:54:32 +0200
parents 3f51d02e536f
children c2e58b2a2a76 07b088d61d5d
line wrap: on
line diff