diff options
author | 2016-02-03 19:58:15 +0000 | |
---|---|---|
committer | 2016-02-03 22:07:04 +0000 | |
commit | 65e9099c4163c746e52b91fc46496012035a2f05 (patch) | |
tree | a28c0567d67401f7002aae5e6d6cd9246149db2b /src | |
parent | 51810618e1ef1e055c3a7c1b362725aed3acddf4 (diff) |
Do not depend on libunix.so on Windows.
Needed for #276.
--
MOS_MIGRATED_REVID=113766886
Diffstat (limited to 'src')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/BUILD | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/BUILD b/src/main/java/com/google/devtools/build/lib/BUILD index f965839321..2ba036bb6a 100644 --- a/src/main/java/com/google/devtools/build/lib/BUILD +++ b/src/main/java/com/google/devtools/build/lib/BUILD @@ -61,7 +61,11 @@ java_library( srcs = glob([ "unix/*.java", ]) + ["UnixJniLoader.java"], - resources = ["//src/main/native:libunix.so"], + resources = select({ + # todo(dslomov): Get rid of this whole library on Windows. + "//src:windows": [], + "//conditions:default": ["//src/main/native:libunix.so"], + }), deps = [ ":common", ":shell", |