2017-04-13 09:23:37 +00:00
|
|
|
---
|
|
|
|
makedefs | 2 +-
|
|
|
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
|
|
|
|
2019-03-11 07:26:32 +00:00
|
|
|
--- makedefs
|
2018-10-30 20:13:37 +00:00
|
|
|
+++ makedefs
|
|
|
|
@@ -546,7 +546,7 @@ EOF
|
2017-04-09 18:32:47 +00:00
|
|
|
: ${SHLIB_ENV="LD_LIBRARY_PATH=`pwd`/lib"}
|
|
|
|
: ${PLUGIN_LD="${CC-gcc} -shared"}
|
|
|
|
;;
|
|
|
|
- Linux.[34].*) SYSTYPE=LINUX$RELEASE_MAJOR
|
2019-03-11 07:26:32 +00:00
|
|
|
+ Linux.[3-9].*|Linux.[1-9][0-9].*) SYSTYPE=LINUX3
|
2017-04-09 18:32:47 +00:00
|
|
|
case "$CCARGS" in
|
|
|
|
*-DNO_DB*) ;;
|
|
|
|
*-DHAS_DB*) ;;
|