diff options
| author | Mike Pall <mike> | 2016-09-19 21:22:19 +0200 |
|---|---|---|
| committer | Mike Pall <mike> | 2016-09-19 21:22:19 +0200 |
| commit | 8ada57eb49fb03d4d1c3cb37e534b97fbb92a5e6 (patch) | |
| tree | e869ad831da463bcf4458a64879e9cc0547b6954 /src/jit | |
| parent | 9910dedae4d0fab1518ff25036e339dee16f48c5 (diff) | |
| download | luajit-8ada57eb49fb03d4d1c3cb37e534b97fbb92a5e6.tar.gz luajit-8ada57eb49fb03d4d1c3cb37e534b97fbb92a5e6.tar.bz2 luajit-8ada57eb49fb03d4d1c3cb37e534b97fbb92a5e6.zip | |
Looks like COLORTERM has gone out of fashion.
Diffstat (limited to 'src/jit')
| -rw-r--r-- | src/jit/dump.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/jit/dump.lua b/src/jit/dump.lua index 7b776422..f70926ab 100644 --- a/src/jit/dump.lua +++ b/src/jit/dump.lua | |||
| @@ -644,7 +644,8 @@ end | |||
| 644 | local function dumpon(opt, outfile) | 644 | local function dumpon(opt, outfile) |
| 645 | if active then dumpoff() end | 645 | if active then dumpoff() end |
| 646 | 646 | ||
| 647 | local colormode = os.getenv("COLORTERM") and "A" or "T" | 647 | local term = os.getenv("TERM") |
| 648 | local colormode = (term and term:match("color") or os.getenv("COLORTERM")) and "A" or "T" | ||
| 648 | if opt then | 649 | if opt then |
| 649 | opt = gsub(opt, "[TAH]", function(mode) colormode = mode; return ""; end) | 650 | opt = gsub(opt, "[TAH]", function(mode) colormode = mode; return ""; end) |
| 650 | end | 651 | end |