diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-31 09:37:53 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-31 09:37:53 -0800 |
commit | e2937b443f1a587751d77ce958700b4014c14cbd (patch) | |
tree | 946739caf910d4dc1f3ef900da9f2d8e5c6d2408 /src/interp/sys-driver.boot | |
parent | afdfc4da685d9988f8675798bad70a4fccdc4e2d (diff) | |
download | open-axiom-e2937b443f1a587751d77ce958700b4014c14cbd.tar.gz |
Remove support for --show-insn, and ")set )report insn"
Diffstat (limited to 'src/interp/sys-driver.boot')
-rw-r--r-- | src/interp/sys-driver.boot | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/interp/sys-driver.boot b/src/interp/sys-driver.boot index 010a6bab..4ab20b23 100644 --- a/src/interp/sys-driver.boot +++ b/src/interp/sys-driver.boot @@ -203,7 +203,6 @@ initializeGlobalState() == $buildingSystemAlgebra := getOptionValue "system-algebra" $verbose := getOptionValue "verbose" $bootStrapMode := getOptionValue "bootstrap" - $reportOptimization := getOptionValue "show-insn" $optimizeRep := getOptionValue "inline-rep" setCompilerOptimizations(getOptionValue "optimize" or $defaultOptimizationLevel) |