diff --git a/debian/patches/0003-renaming-jcpuid.patch b/debian/patches/0003-renaming-jcpuid.patch index 0b5250a4c9422820686347238bf416be334df5ec..2928b5c0ca68e131d4944c9a5ceb3e666c0b9fce 100644 --- a/debian/patches/0003-renaming-jcpuid.patch +++ b/debian/patches/0003-renaming-jcpuid.patch @@ -8,10 +8,10 @@ Subject: rename jcpuid --- a/core/c/jcpuid/build.sh +++ b/core/c/jcpuid/build.sh -@@ -83,8 +83,8 @@ - echo "and/or set JAVA_HOME then re-run this script." - exit 1 - fi +@@ -65,8 +65,8 @@ + exit 1;; + esac + - LINKFLAGS="-shared -Wl,-soname,libjcpuid-${ARCH}-${UNIXTYPE}.so" - LIBFILE="lib/freenet/support/CPUInformation/libjcpuid-${ARCH}-${UNIXTYPE}.so" + LINKFLAGS="-shared -Wl,-soname,libjcpuid.so"