diff options
author | Steven Bergsieker <bergsieker@users.noreply.github.com> | 2019-01-21 10:22:51 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-21 10:22:51 -0500 |
commit | b2af7a21b69a2449cd798cbff89fc6fd814f8f3e (patch) | |
tree | 8012efc5a7b122d0ce532122fd3777461b5c83cc | |
parent | c7490f90a36a62d40de2dd35b6a69d3a3e68613c (diff) | |
download | bazelbuild-remote-apis-b2af7a21b69a2449cd798cbff89fc6fd814f8f3e.tar.gz |
Add note on case-sensitivity in Directories. (#50)
-rw-r--r-- | build/bazel/remote/execution/v2/remote_execution.proto | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build/bazel/remote/execution/v2/remote_execution.proto b/build/bazel/remote/execution/v2/remote_execution.proto index 0499471..80d66dc 100644 --- a/build/bazel/remote/execution/v2/remote_execution.proto +++ b/build/bazel/remote/execution/v2/remote_execution.proto @@ -549,6 +549,11 @@ message Platform { // * Every child in the directory must have a path of exactly one segment. // Multiple levels of directory hierarchy may not be collapsed. // * Each child in the directory must have a unique path segment (file name). +// Note that while the API itself is case-sensitive, the environment where +// the Action is executed may or may not be case-sensitive. That is, it is +// legal to call the API with a Directory that has both "Foo" and "foo" as +// children, but the Action may be rejected by the remote system upon +// execution. // * The files, directories and symlinks in the directory must each be sorted // in lexicographical order by path. The path strings must be sorted by code // point, equivalently, by UTF-8 bytes. |