diff options
Diffstat (limited to 'erts/etc/win32/msys_tools/make_local_ini.sh')
| -rw-r--r-- | erts/etc/win32/msys_tools/make_local_ini.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/erts/etc/win32/msys_tools/make_local_ini.sh b/erts/etc/win32/msys_tools/make_local_ini.sh index 8e29573dc4..01c536461e 100644 --- a/erts/etc/win32/msys_tools/make_local_ini.sh +++ b/erts/etc/win32/msys_tools/make_local_ini.sh @@ -29,7 +29,7 @@ else RDIR=$1 fi -DDIR=`(cygpath -d $RDIR 2>/dev/null || cygpath -w $RDIR) | sed 's,\\\,\\\\\\\\,g'` +DDIR=`msys2win_path.sh $RDIR | sed 's,\\\,\\\\\\\\,g'` cat > $RDIR/bin/erl.ini <<EOF |