fortunately no need to use versioned shared object file names

https://www.debian.org/doc/debian-policy/ch-sharedlibs.html
This commit is contained in:
Patrick Schleizer 2019-07-22 12:05:53 -04:00
parent b8fa714be7
commit dc599bf62d
No known key found for this signature in database
GPG key ID: CB8D50BB77BB3C48

View file

@ -7,7 +7,7 @@ make_install_hook_post() {
if [ ! -d "$DESTDIR/usr/lib" ]; then if [ ! -d "$DESTDIR/usr/lib" ]; then
mkdir --parents "$DESTDIR/usr/lib" mkdir --parents "$DESTDIR/usr/lib"
fi fi
cp libhardened_malloc.so "$DESTDIR/usr/lib/libhardened_malloc.so.1" cp libhardened_malloc.so "$DESTDIR/usr/lib/libhardened_malloc.so"
} }
make_all_hook_post() { make_all_hook_post() {