diff --git a/platform/os.sh b/platform/os.sh
index f57d9f7b..9e69cf07 100755
--- a/platform/os.sh
+++ b/platform/os.sh
@@ -170,16 +170,3 @@ fi
 if test -z "$1" -o x"$1" = x'bitcoind'; then
   echo -n "${BITCOIN_DIR}"/src/.libs/libbitcoind.a
 fi
-
-if test -z "$1" -o x"$1" = x'lib'; then
-  if test -e "${os_dir}/libbitcoind.${ext}" -o -e "${os_dir}/lib/libbitcoind.${ext}"; then
-    if test -e "${os_dir}/lib/libbitcoind.${ext}"; then
-      echo -n "$(pwd)/platform/${os}/lib/libbitcoind.${ext}"
-    else
-      echo -n "$(pwd)/platform/${os}/libbitcoind.${ext}"
-    fi
-  else
-    echo -n "${BITCOIN_DIR}/src/.libs/libbitcoind.${ext}"
-  fi
-  exit 0
-fi