diff options
| author | Koichi Sasada <[email protected]> | 2020-01-03 02:00:58 +0900 |
|---|---|---|
| committer | Koichi Sasada <[email protected]> | 2020-01-03 02:07:21 +0900 |
| commit | 27fae1d4adfef26d30d43f2d0d6653e99aaaba3d (patch) | |
| tree | bb3fda9986b843aeea2cf1036bcfb7587ff7212b /debug.c | |
| parent | b884eb59eb22172b5d8af9f33ece093c8f917176 (diff) | |
disable ccache if $CC is in /usr/lib/ccache/$CC.
MJIT with ccache has a problem on docker environment, so
we need to use original CC (/usr/bin/gcc, for example).
Ubuntu system provides /usr/lib/ccache/gcc and so on to use
gcc with ccache. It is easy to setup ccache by adding
/usr/lib/ccache to $PATH. However we need to use /usr/bin/gcc
(and so on) for MJIT_CC. We can specify MJIT_CC option at
configure, but specifying them is troublesome.
This patch choose original $CC (/usr/bin/gcc, for example)
if $CC is /usr/lib/ccache/$CC.
Diffstat (limited to 'debug.c')
0 files changed, 0 insertions, 0 deletions