diff --git a/src/makeBaseExt/top/configure/CONFIG_SITE b/src/makeBaseExt/top/configure/CONFIG_SITE index 71bc002e0..4ef88cedf 100644 --- a/src/makeBaseExt/top/configure/CONFIG_SITE +++ b/src/makeBaseExt/top/configure/CONFIG_SITE @@ -15,3 +15,6 @@ CROSS_COMPILER_TARGET_ARCHS = # define INSTALL_LOCATION here #INSTALL_LOCATION= +# Extensions don't normally build shared libraries +SHARED_LIBRARIES = NO +