diff options
| author | James Iry <james.iry@typesafe.com> | 2012-12-06 22:36:20 -0800 |
|---|---|---|
| committer | François Garillot <francois@garillot.net> | 2013-01-08 16:10:49 +0100 |
| commit | a802ba908fc565cf4a107aa09372d81b78d2bb4e (patch) | |
| tree | 152df6c7a846b01e2974978004e0aed3201aecd5 | |
| parent | 1af6e92620d12c6de694f63a388489bd941255d9 (diff) | |
| download | scala-a802ba908fc565cf4a107aa09372d81b78d2bb4e.tar.gz scala-a802ba908fc565cf4a107aa09372d81b78d2bb4e.tar.bz2 scala-a802ba908fc565cf4a107aa09372d81b78d2bb4e.zip | |
SI-6766 Makes the -Pcontinuations:enable flag a project specific preference
Make the continuations plugin flag specific to the continuations library.
Remove the documentation about adding the continuation plugin from
the eclipse README.md.
One consequence of this change is that if a programmer has prefs
for the continuations eclipse project then there will be a merge conflict.
That's unavoidable without having a more sophisticated way to build
the eclipse projects.
| -rw-r--r-- | src/eclipse/continuations-library/.settings/org.scala-ide.sdt.core.prefs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/eclipse/continuations-library/.settings/org.scala-ide.sdt.core.prefs b/src/eclipse/continuations-library/.settings/org.scala-ide.sdt.core.prefs new file mode 100644 index 0000000000..63e1df247f --- /dev/null +++ b/src/eclipse/continuations-library/.settings/org.scala-ide.sdt.core.prefs @@ -0,0 +1,2 @@ +P=continuations\:enable +scala.compiler.useProjectSettings=true |