K 10 svn:author V 6 pkubaj K 8 svn:date V 27 2020-02-13T14:18:22.571708Z K 7 svn:log V 427 MFH: r526016 security/nss: fix build with GCC architectures -Werror=unused-function causes: verified/kremlin/kremlib/dist/minimal/FStar_UInt128.h:82:37: error: 'FStar_UInt128_mul32' declared 'static' but never defined [-Werror=unused-function] 82 | inline static FStar_UInt128_uint128 FStar_UInt128_mul32(uint64_t x, uint32_t y); Add -Wno-error=unused-function to fix build. Approved by: portmgr (ports tree compliance) END