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 |