diff --git a/collects/setup/option-sig.ss b/collects/setup/option-sig.ss index d7ebeb3f24..c8040aa556 100644 --- a/collects/setup/option-sig.ss +++ b/collects/setup/option-sig.ss @@ -12,6 +12,7 @@ compile-mode make-zo make-so + make-info-domain make-launchers call-install pause-on-errors