diff options
author | Joshua Haberman <jhaberman@gmail.com> | 2019-01-23 17:10:22 -0800 |
---|---|---|
committer | Joshua Haberman <jhaberman@gmail.com> | 2019-01-23 17:10:22 -0800 |
commit | 7f9f7222bf5ab3ad3720b1afd55370b0e473109f (patch) | |
tree | 15340076b10ef85cc5b2c5454de203dc4dbd18c4 /tools | |
parent | 77371f050c317d01c5c089eb057b24d439f40dd3 (diff) |
Changes for google3 import.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/make_cmakelists.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/make_cmakelists.py b/tools/make_cmakelists.py index c2700b6..1e1c1ee 100755 --- a/tools/make_cmakelists.py +++ b/tools/make_cmakelists.py @@ -137,6 +137,9 @@ class BuildFileFunctions(object): def glob(*args): return [] + def licenses(*args): + pass + class WorkspaceFileFunctions(object): def __init__(self, converter): |