diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 7466158e6..d9f86e27c 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -2530,7 +2530,7 @@ def mk_config(): check_ar() CXX = find_cxx_compiler() CC = find_c_compiler() - SLITEXTRAFLAGS = '' + SLIBEXTRAFLAGS = '' # SLIBEXTRAFLAGS = '%s -Wl,-soname,libz3.so.0' % LDFLAGS EXE_EXT = '' LIB_EXT = '.a'