back port
This commit is contained in:
parent
8f9fb0437c
commit
bea2431c3e
@ -930,7 +930,7 @@ do_expand_file_name(Term t1, Term opts USES_REGS)
|
||||
case EXPAND_FILENAME_COMMANDS:
|
||||
if (!use_system_expansion) {
|
||||
use_system_expansion = true;
|
||||
#ifdef WRDE_NOCMD
|
||||
#if 0 //def WRDE_NOCMD
|
||||
if (t == TermFalse) {
|
||||
flags = WRDE_NOCMD;
|
||||
}
|
||||
|
@ -65,6 +65,7 @@
|
||||
:- use_module(library(apply_macros)).
|
||||
:- use_module(library(charsio)).
|
||||
:- use_module(library(readutil)).
|
||||
:- use_module(library(debug)).
|
||||
|
||||
:- dynamic( real:r_started/1 ).
|
||||
|
||||
|
Reference in New Issue
Block a user