diff options
author | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-01-28 13:58:31 +0000 |
---|---|---|
committer | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-01-28 13:58:31 +0000 |
commit | c4cd5137d2b97fc1937cc8cb63eb888c342a8674 (patch) | |
tree | 5b577cffa5f50075277fd067e51179e097339a43 | |
parent | 322c980230109582751836d1caf05836353e9cd8 (diff) | |
download | scala-c4cd5137d2b97fc1937cc8cb63eb888c342a8674.tar.gz scala-c4cd5137d2b97fc1937cc8cb63eb888c342a8674.tar.bz2 scala-c4cd5137d2b97fc1937cc8cb63eb888c342a8674.zip |
Sean's fix for scaladoc.
-rw-r--r-- | src/compiler/scala/tools/nsc/Global.scala | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/Global.scala b/src/compiler/scala/tools/nsc/Global.scala index 4111845794..8304a38e4b 100644 --- a/src/compiler/scala/tools/nsc/Global.scala +++ b/src/compiler/scala/tools/nsc/Global.scala @@ -452,7 +452,11 @@ class Global(var settings: Settings, var reporter: Reporter) extends SymbolTable var uncheckedWarnings: Boolean = false private var p: Phase = firstPhase - protected def stopPhase(name : String) = settings.stop.contains(name) + + protected def stopPhase(name : String) = + if (onlyPresentation) name == "superaccessors" + else settings.stop.contains(name) + // protected def stopPhase(name : String) = settings.stop.contains(name) for (pd <- phaseDescriptors.takeWhile(pd => !(stopPhase(pd.phaseName)))) if (!(settings.skip contains pd.phaseName)) p = pd.newPhase(p) |