Ignore dotfiles in running a whole directory
authorAdam Chlipala <adamc@hcoop.net>
Sat, 23 Jun 2007 19:34:56 +0000 (19:34 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 23 Jun 2007 19:34:56 +0000 (19:34 +0000)
src/main.sml

index 164297f..f3bedc2 100644 (file)
@@ -92,7 +92,9 @@ fun check fname =
            end
     end
 
            end
     end
 
-val notTmp = CharVector.all (fn ch => Char.isAlphaNum ch orelse ch = #"." orelse ch = #"_" orelse ch = #"-")
+fun notTmp s =
+    String.sub (s, 0) <> #"."
+    andalso CharVector.all (fn ch => Char.isAlphaNum ch orelse ch = #"." orelse ch = #"_" orelse ch = #"-") s
 
 fun checkDir dname =
     let
 
 fun checkDir dname =
     let