-
Benoît Minisini authored
[CONFIGURATION] * BUG: Do not try to disable CTE support if gcc does not have the corresponding flag. [INTERPRETER] * BUG: Do not try to disable CTE support if gcc does not have the corresponding flag.
[CONFIGURATION] * BUG: Do not try to disable CTE support if gcc does not have the corresponding flag. [INTERPRETER] * BUG: Do not try to disable CTE support if gcc does not have the corresponding flag.