Ticket #5864: mpi-windows-build2.patch

File mpi-windows-build2.patch, 717 bytes (added by Taras Kozlov, 9 years ago)

Fix build on windows

  • tools/build/v2/tools/mpi.jam

    old new  
    231231# not. Returns true for an exit code of zero, false otherwise.
    232232local rule safe-shell-command ( cmdline )
    233233{
    234   local result = [ SHELL "$(cmdline) > /dev/null 2>/dev/null; if [ "$?" -eq "0" ]; then echo SSCOK; fi" ] ;
     234  local result ;
     235 
     236  if [ os.name ] = NT {
     237    result = [ SHELL "$(cmdline) >NUL 2>NUL && echo SSCOK" ] ;
     238  } else {
     239    result = [ SHELL "$(cmdline) > /dev/null 2>/dev/null; if [ "$?" -eq "0" ]; then echo SSCOK; fi" ] ;
     240  }
     241 
    235242  return [ MATCH ".*(SSCOK).*" : $(result) ] ;
    236243}
    237244