Linux patches
This commit is contained in:
parent
77d3101bd8
commit
965eb4739e
@ -769,7 +769,7 @@ do_expand_file_name(Term t1, Term opts USES_REGS)
|
|||||||
if (!use_system_expansion) {
|
if (!use_system_expansion) {
|
||||||
use_system_expansion = true;
|
use_system_expansion = true;
|
||||||
#ifdef WRDE_NOCMD
|
#ifdef WRDE_NOCMD
|
||||||
if (t == TermFalse) {`
|
if (t == TermFalse) {
|
||||||
flags = WRDE_NOCMD;
|
flags = WRDE_NOCMD;
|
||||||
}
|
}
|
||||||
#endif
|
#endif
|
||||||
|
Reference in New Issue
Block a user