# HG changeset patch
# User wenzelm
# Date 1637618937 -3600
# Node ID 40bb5f41e06c9ca658c06d67623bfe4ab96f2fde
# Parent  f31229171b3bc66a751cb0c77e3b69567f426d72
more robust support for Windows line-endings;

diff -r f31229171b3b -r 40bb5f41e06c src/Pure/Tools/scala_project.scala
--- a/src/Pure/Tools/scala_project.scala	Mon Nov 22 16:49:58 2021 +0100
+++ b/src/Pure/Tools/scala_project.scala	Mon Nov 22 23:08:57 2021 +0100
@@ -143,7 +143,7 @@
 
   def package_name(source_file: Path): Option[String] =
   {
-    val lines = split_lines(File.read(source_file))
+    val lines = Library.trim_split_lines(File.read(source_file))
     val Package = """\s*\bpackage\b\s*(?:object\b\s*)?((?:\w|\.)+)\b.*""".r
     lines.collectFirst({ case Package(name) => name })
   }