diff options
Diffstat (limited to 'third_party/eigen3/BUILD')
-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 - """ + """, ) |