src/Pure/Tools/scala_project.scala
changeset 74659 f1c53e78d0f0
parent 74656 0659536b150b
child 74737 d912c1b6c1d0
equal deleted inserted replaced
74658:4c508826fee8 74659:f1c53e78d0f0
    56         </configuration>
    56         </configuration>
    57         </plugin>
    57         </plugin>
    58     </plugins>
    58     </plugins>
    59   </build>
    59   </build>
    60 
    60 
    61   "<dependencies>""" + jars.map(dependency).mkString("\n", "\n", "\n") + """</dependencies>
    61   <dependencies>""" + jars.map(dependency).mkString("\n", "\n", "\n") + """</dependencies>
    62 </project>"""
    62 </project>"""
    63   }
    63   }
    64 
    64 
    65 
    65 
    66   /* plugins: modules with dynamic build */
    66   /* plugins: modules with dynamic build */