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