Bootstrapping disable function

Issue #845 resolved
Ingmar Dasseville created an issue

make a function in idp which turns off all bootstrapping

stdoptions.postprocessdefs = false
stdoptions.joindefsforxsb = false
stdoptions.splitdefs = false

Comments (1)

  1. Log in to comment