Fix build when -DENABLE_SHARED=ON

This commit is contained in:
François Grisez 2018-07-06 11:21:32 +02:00
parent 156abbc61a
commit 4544302a27
2 changed files with 2 additions and 2 deletions

@ -1 +1 @@
Subproject commit f9ecf54cbe108f059e81bf8ddab7336c2989dd07
Subproject commit d1a8d275b553c82b56a21ebb32d34024b0adbb99

@ -1 +1 @@
Subproject commit 604904a069270c464b5ddd58812ea4aa245c6841
Subproject commit 149fc91e943b140c27412f0837977be96cad20cf