diff options
author | Eugene Vigdorchik <eugene.vigdorchik@gmail.com> | 2013-03-20 12:37:52 +0400 |
---|---|---|
committer | Eugene Vigdorchik <eugene.vigdorchik@gmail.com> | 2013-03-21 19:00:14 +0400 |
commit | 2ba065f0ae434944566ca8fe76232af32ab8e21a (patch) | |
tree | 4b1170b9a93c2228b3786a7c4175d342b6e3e980 /src/compiler/scala/tools/nsc/plugins/Plugins.scala | |
parent | 7adab908d661f1b238a96972e96ed11ea497bcdc (diff) | |
download | scala-2ba065f0ae434944566ca8fe76232af32ab8e21a.tar.gz scala-2ba065f0ae434944566ca8fe76232af32ab8e21a.tar.bz2 scala-2ba065f0ae434944566ca8fe76232af32ab8e21a.zip |
Doc -> C-style comments for local symbols to avoid "discarding
unmoored doc comment" warning when building distribution for
scala itself.
Diffstat (limited to 'src/compiler/scala/tools/nsc/plugins/Plugins.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/plugins/Plugins.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/compiler/scala/tools/nsc/plugins/Plugins.scala b/src/compiler/scala/tools/nsc/plugins/Plugins.scala index 00e5875852..71b97e86a6 100644 --- a/src/compiler/scala/tools/nsc/plugins/Plugins.scala +++ b/src/compiler/scala/tools/nsc/plugins/Plugins.scala @@ -79,11 +79,11 @@ trait Plugins { val plugs = pick(roughPluginsList, Set(), (phasesSet map (_.phaseName)).toSet) - /** Verify requirements are present. */ + /* Verify requirements are present. */ for (req <- settings.require.value ; if !(plugs exists (_.name == req))) globalError("Missing required plugin: " + req) - /** Process plugin options. */ + /* Process plugin options. */ def namec(plug: Plugin) = plug.name + ":" def optList(xs: List[String], p: Plugin) = xs filter (_ startsWith namec(p)) def doOpts(p: Plugin): List[String] = @@ -95,7 +95,7 @@ trait Plugins { p.processOptions(opts, globalError) } - /** Verify no non-existent plugin given with -P */ + /* Verify no non-existent plugin given with -P */ for (opt <- settings.pluginOptions.value ; if plugs forall (p => optList(List(opt), p).isEmpty)) globalError("bad option: -P:" + opt) |