fix dir separator for win32.
This commit is contained in:
parent
b9b107eaa9
commit
b95b332f2b
@ -274,13 +274,16 @@ p_dir_sp ( USES_REGS1 )
|
||||
{
|
||||
#ifdef MAC
|
||||
Term t = MkIntTerm(':');
|
||||
Term t2 = MkIntTerm('/');
|
||||
#elif ATARI || _MSC_VER || defined(__MINGW32__)
|
||||
Term t = MkIntTerm('\\');
|
||||
Term t2 = MkIntTerm('/');
|
||||
#else
|
||||
Term t = MkIntTerm('/');
|
||||
Term t2 = MkIntTerm('/');
|
||||
#endif
|
||||
|
||||
return(Yap_unify_constant(ARG1,t));
|
||||
return Yap_unify_constant(ARG1,t) || Yap_unify_constant(ARG1,t2) ;
|
||||
}
|
||||
|
||||
|
||||
|
Reference in New Issue
Block a user