# HG changeset patch
# User wenzelm
# Date 1476973742 -7200
# Node ID 416f4d031afd59a5edee50570d237cf1488c6f15
# Parent  029e6247210e2b67329bf0293d9bfc581ddc2a6b
check Windows file names, e.g. relavant for native Mercurial, but also for Isabelle/Scala;

diff -r 029e6247210e -r 416f4d031afd src/Pure/Admin/check_sources.scala
--- a/src/Pure/Admin/check_sources.scala	Thu Oct 20 13:53:36 2016 +0200
+++ b/src/Pure/Admin/check_sources.scala	Thu Oct 20 16:29:02 2016 +0200
@@ -15,6 +15,9 @@
     val file_pos = path.position
     def line_pos(i: Int) = Position.Line_File(i + 1, file_name)
 
+    if (space_explode('/', Word.lowercase(path.expand.split_ext._1.implode)).contains("aux"))
+      Output.warning("Illegal file-name on Windows" + Position.here(file_pos))
+
     val content = File.read(path)
 
     for { (line, i) <- split_lines(content).iterator.zipWithIndex }