diff --git a/externals/x13/installx13.m b/externals/x13/installx13.m index 32e874b906304f7e6521893badc03c7a670c60f0..d2a6817a9473cc97b256bcc5ea31a5e235a6d67b 100644 --- a/externals/x13/installx13.m +++ b/externals/x13/installx13.m @@ -26,12 +26,21 @@ if ~exist('x13.zip','file') end unzip('x13.zip'); if ismac() + if exist('./osx', 'dir') + rmdir('osx', 's') + end mkdir osx; movefile('binaries/osx/*','./osx'); elseif isunix() + if exist('./linux', 'dir') + rmdir('linux', 's') + end mkdir linux; movefile('binaries/linux/*','./linux'); elseif ispc() + if exist('./windows', 'dir') + rmdir('windows', 's') + end mkdir windows; movefile('binaries/windows/*','./windows'); else diff --git a/externals/x13/updatex13.m b/externals/x13/updatex13.m index d6f8f072fd1df88a2af241de2a3781880a140115..adf312642e175095cae78aad356807ea524b21c8 100644 --- a/externals/x13/updatex13.m +++ b/externals/x13/updatex13.m @@ -22,4 +22,8 @@ if exist('x13.zip','file') delete('x13.zip') end +if exist('./binaries', 'dir') + rmdir('binaries', 's'); +end + installx13(); \ No newline at end of file