diff options
| author | Joshua Haberman <jhaberman@gmail.com> | 2019-01-15 04:21:56 -0800 |
|---|---|---|
| committer | Joshua Haberman <jhaberman@gmail.com> | 2019-01-15 04:21:56 -0800 |
| commit | 1508648f30cbaf5a3590572b2313fb5b595a7946 (patch) | |
| tree | c153db730ec3571981c7b1630ac724a5fef59b70 /tools/make_cmakelists.py | |
| parent | 754b9f1cfdf59104fa62cfaf99f21e5a817d281b (diff) | |
Build & fix the JIT.
Diffstat (limited to 'tools/make_cmakelists.py')
| -rwxr-xr-x | tools/make_cmakelists.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/make_cmakelists.py b/tools/make_cmakelists.py index 0d5640d..c2700b6 100755 --- a/tools/make_cmakelists.py +++ b/tools/make_cmakelists.py @@ -128,6 +128,12 @@ class BuildFileFunctions(object): def genrule(self, **kwargs): pass + def config_setting(self, **kwargs): + pass + + def select(self, arg_dict): + return [] + def glob(*args): return [] |