--- makedefs.orig 2019-03-11 13:54:48.176455533 +0100 +++ makedefs 2019-03-11 13:55:44.512455319 +0100 @@ -557,8 +557,8 @@ : ${SHLIB_ENV="LD_LIBRARY_PATH=`pwd`/lib"} : ${PLUGIN_LD="${CC-gcc} -shared"} ;; - Linux.[345].*) SYSTYPE=LINUX$RELEASE_MAJOR - case "$CCARGS" in + Linux.[3-9].*|Linux.[1-9][0-9].*) SYSTYPE=LINUX3 + case "$CCARGS" in *-DNO_DB*) ;; *-DHAS_DB*) ;; *) if [ -f /usr/include/db.h ]