diff options
| author |  Yifei Feng <yifeif@google.com> | 2018-07-02 17:41:04 -0700 |
|---|---|---|
| committer | Yifei Feng <yifeif@google.com> | 2018-07-02 17:41:04 -0700 |
| commit | bf6ce077c426f2aa28034cf7ff6abff338dba63d (patch) | |
| tree | a0629b6e3531b1ea214430d8d97a56d2e86b4305 /third_party | |
| parent | 16a965c5c9a64ef82ccfcb849dd61e6aad00d10e (diff) | |
| parent | 4e55e566e17e5cbef4db8d86df5ea22c244c7031 (diff) | |
Merge commit for internal changes
Diffstat (limited to 'third_party')
| -rw-r--r-- | third_party/eigen3/BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/third_party/eigen3/BUILD b/third_party/eigen3/BUILD index 9d9c27b180..203991b50f 100644 --- a/third_party/eigen3/BUILD +++ b/third_party/eigen3/BUILD @@ -80,5 +80,5 @@ genrule( mkdir -p "$@/$${d}" cp "$${f}" "$@/$${d}/" done - """ + """, ) |