diff options
| author | Mike Pall <mike> | 2023-10-21 13:31:45 +0200 |
|---|---|---|
| committer | Mike Pall <mike> | 2023-10-21 13:31:45 +0200 |
| commit | e826d0c101d750fac8334d71e221c50d8dbe236c (patch) | |
| tree | b03865dccdc948f1b04f57d8452e139b733925f1 /src/jit | |
| parent | 4eb47df605883e983dadb78f303b22dd0232dd03 (diff) | |
| download | luajit-e826d0c101d750fac8334d71e221c50d8dbe236c.tar.gz luajit-e826d0c101d750fac8334d71e221c50d8dbe236c.tar.bz2 luajit-e826d0c101d750fac8334d71e221c50d8dbe236c.zip | |
Add 'cc' file type for saving bytecode.
Contributed by Sergey Bronnikov. #1105
Diffstat (limited to 'src/jit')
| -rw-r--r-- | src/jit/bcsave.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/jit/bcsave.lua b/src/jit/bcsave.lua index 74699f3d..390d297c 100644 --- a/src/jit/bcsave.lua +++ b/src/jit/bcsave.lua | |||
| @@ -38,7 +38,7 @@ Save LuaJIT bytecode: luajit -b[options] input output | |||
| 38 | -- Stop handling options. | 38 | -- Stop handling options. |
| 39 | - Use stdin as input and/or stdout as output. | 39 | - Use stdin as input and/or stdout as output. |
| 40 | 40 | ||
| 41 | File types: c h obj o raw (default) | 41 | File types: c cc h obj o raw (default) |
| 42 | ]] | 42 | ]] |
| 43 | os.exit(1) | 43 | os.exit(1) |
| 44 | end | 44 | end |
| @@ -81,7 +81,7 @@ end | |||
| 81 | ------------------------------------------------------------------------------ | 81 | ------------------------------------------------------------------------------ |
| 82 | 82 | ||
| 83 | local map_type = { | 83 | local map_type = { |
| 84 | raw = "raw", c = "c", h = "h", o = "obj", obj = "obj", | 84 | raw = "raw", c = "c", cc = "c", h = "h", o = "obj", obj = "obj", |
| 85 | } | 85 | } |
| 86 | 86 | ||
| 87 | local map_arch = { | 87 | local map_arch = { |
