You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When using the --enable-precompilation option, a change in the source code triggers the recompilation of the whole library binaries when calling make but not when compiling a test or the testsuite.
This may lead to bugs, since the outdated library binaries will co-exist with freshly compiled code for the specializations that are not covered by the precompilation.
The text was updated successfully, but these errors were encountered:
When using the
--enable-precompilation
option, a change in the source code triggers the recompilation of the whole library binaries when callingmake
but not when compiling a test or the testsuite.This may lead to bugs, since the outdated library binaries will co-exist with freshly compiled code for the specializations that are not covered by the precompilation.
The text was updated successfully, but these errors were encountered: