isl16: prepare for removal

Closes: #11788 [via git-merge-pr] Signed-off-by: Jürgen Buchmüller <pullmoll@t-online.de>
2019-05-18 03:38:56 +03:00
parent d650267bbe
commit 0d225d965b
4 changed files with 7 additions and 30 deletions
--- a/common/shlibs
+++ b/common/shlibs
@@ -1105,7 +1105,6 @@ libspectre.so.1 libspectre-0.2.6_1
 libsratom-0.so.0 sratom-0.4.0_1
 libpwquality.so.1 libpwquality-1.1.1_1
 libisl.so.10 isl-0.10_1
-libisl.so.15 isl16-0.16_1
 libisl.so.19 isl15-0.19_1
 libcloog-isl.so.4 cloog-0.18.1_1
 librtmp.so.1 librtmp-2.4.20161210_1