Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[fix] inclusions: change directory_does_not_exist error to a warning

  • Loading branch information...
commit 8c6f4002ce4e5c4fc026df6e31cb30642b544f94 1 parent f54f4e6
Raja authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  passes/surfaceAstStaticInclude.ml
View
2  passes/surfaceAstStaticInclude.ml
@@ -89,7 +89,7 @@ let warning_many_files_10000 =
let warning_directory_does_not_exist =
let doc = "Static inclusion: stop execution if a directory meant to be included cannot be read (generally because it doesn't exist)." in
- WarningClass.create ~parent:warning ~doc ~name:"directory_does_not_exist" ~err:true ~enable:true ()
+ WarningClass.create ~parent:warning ~doc ~name:"directory_does_not_exist" ~err:false ~enable:true ()
let warning_directory_empty =
let doc = "Static inclusion: warn when including an empty directory." in
Please sign in to comment.
Something went wrong with that request. Please try again.