diff options
| author | Josh Haberman <jhaberman@gmail.com> | 2018-12-12 15:08:04 -0800 |
|---|---|---|
| committer | Josh Haberman <jhaberman@gmail.com> | 2018-12-12 15:08:04 -0800 |
| commit | 32ef122e380a0d76b2cef5dae439f0b9b3aa35ee (patch) | |
| tree | 35df1b4335d82e5dc2be6858be55784484eacf5f /BUILD | |
| parent | aad4f403a6fc28306f08a4842f0bc65540b7888e (diff) | |
Deleted old Lua-based C API compiler.
This compiler has been ported to C++, so the Lua
compiler is no longer needed.
Diffstat (limited to 'BUILD')
| -rw-r--r-- | BUILD | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -352,7 +352,6 @@ lua_library( name = "lua/upbc_lib", srcs = [ "tools/dump_cinit.lua", - "tools/make_c_api.lua", ], luadeps = [ "lua/upb", |