diff options
Diffstat (limited to 'src/interp/sys-globals.boot')
| -rw-r--r-- | src/interp/sys-globals.boot | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/interp/sys-globals.boot b/src/interp/sys-globals.boot index 41b078fe..3f1c2ce1 100644 --- a/src/interp/sys-globals.boot +++ b/src/interp/sys-globals.boot @@ -453,11 +453,6 @@ $buildingSystemAlgebra := false ++ code generation, etc. $verbose := true -++ True if the compiler is invoked to produce only exports of -++ a domain or a category. For a category, the compilation of -++ defaults, if any, is suppressed. -$compileExportsOnly := false - ++ True if the compiler is invoked to produce implementation ++ of category defaults only. This is meaningful only when ++ compiling categories. |