diff options
author | 2015-03-11 15:04:15 +0000 | |
---|---|---|
committer | 2015-03-11 18:40:15 +0000 | |
commit | 05b35d974c8407851af8f3474d6842cbf1be0957 (patch) | |
tree | 80c4ba818cfab9e3b29b533205abfd2da98e7f94 /src/main/java/com/google/devtools/build/lib/rules/objc | |
parent | 4be87eea8d14608960af4026f46586486ad60c8b (diff) |
Populate a new local repository with the files, not dir
Before, new_local_repository would create a symlink with the basename of the
directory being linked to. For example, on my machine the JDK is in a directory
named "jdk8", so the BUILD file had to prefix all of the files with "jdk8/".
By symlinking the _contents_ of "path" instead of the basename of "path", the
same BUILD file can be used no matter what the directory containing the JDK is
called.
--
MOS_MIGRATED_REVID=88333728
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/objc')
0 files changed, 0 insertions, 0 deletions