mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 14:13:09 +00:00
493bcc80df
Fixes #1512
14 lines
469 B
Diff
14 lines
469 B
Diff
diff --git a/src/share/mk/bsd.lib.mk b/src/share/mk/bsd.lib.mk
|
|
index ab658e7..85575bb 100644
|
|
--- a/src/share/mk/bsd.lib.mk
|
|
+++ b/src/share/mk/bsd.lib.mk
|
|
@@ -402,7 +402,7 @@ _LIB_g.a:=${_LIB}_g.a
|
|
_LIB_pic.a:=${_LIB}_pic.a
|
|
_LIB.ln:=llib-l${LIB}.ln
|
|
|
|
-.if ${MKPIC} != "no" && defined(SHLIB_FULLVERSION)
|
|
+.if ${MKPIC} != "no" && defined(SHLIB_FULLVERSION) && 0
|
|
_LIB.so:=${_LIB}.so
|
|
_LIB.so.major:=${_LIB}.so.${SHLIB_MAJOR}
|
|
_LIB.so.full:=${_LIB}.so.${SHLIB_FULLVERSION}
|