| commit | 8d5489071109333facf9cd873d88bff56d22b204 | [log] [tgz] |
|---|---|---|
| author | Brian Silverman <brian@peloton-tech.com> | Wed Nov 04 23:50:11 2015 -0500 |
| committer | Brian Silverman <brian@peloton-tech.com> | Wed Nov 04 23:50:11 2015 -0500 |
| tree | deed2ccd27a55325e91ab80e8739b28d36179581 | |
| parent | 3e32b7c53ba10495fc11da4d75bfb7c21fd38907 [diff] [blame] |
Rename sub-BUILD file to the proper convention Change-Id: Ib8c4044de06d2494ec579ef91ca7aa4eeb279512
diff --git a/WORKSPACE b/WORKSPACE index 631ea78..a37e1d4 100644 --- a/WORKSPACE +++ b/WORKSPACE
@@ -1,7 +1,7 @@ new_local_repository( name = 'usr_repo', path = '/usr', - build_file = 'debian/BUILD.usr', + build_file = 'debian/usr.BUILD', ) # TODO(brian): Make these point to something which isn't hard-coded to come off